Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs.

J. Rohmer Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs. 1982 conf/jfplc/1982 SPLT db/conf/jfplc/jfplc1982.html#Rohmer82