Michel Van Caneghem Compilation d'un sous-PROLOG. 1983 conf/jfplc/1983 SPLT db/conf/jfplc/jfplc1983.html#Caneghem83