Last steps towards an ultimate Prolog
Alain Colmerauer, Henry Kanoui, Michel Van Caneghem · International Joint Conference on Artificial Intelligence · 1981
A portable version of Prolog, an Artificial Intelligence language, is presented. A complete system has been implemented on a micro-computer using a floppy-disk virtual memory. The general methodology of the implementation is discussed in terms of an abstract machine (Micromegas) supporting a language (Candide) in which the Prolog system is written.