LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation. - Thierry Gandilhon; B. Ouazan; D. Sciamma (SPLT, 1986)