Alain Colmerauer Philippe Roussel The Birth of Prolog. 37-52 1993 HOPL Preprints db/conf/hopl/hopl93p.html#ColmerauerR93