Alain Colmerauer Prolog III as it Actually Is. 766 1990 ICLP db/conf/iclp/iclp90.html#Colmerauer90