U Sussex. Language for the two-stack virtual machine (PVM) which underlies the POPLOG interactive environment. POPLOG supports POP-11, LISP, Prolog and ML via shared data structures and incremental compilation.
in ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983 view details
in Research Directions in Cognitive Science, v.5 (1992). view details