A Virtual Machine to Implement Prolog

Gerard Ballieu. A Virtual Machine to Implement Prolog. In Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras, editors, Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. pages 40-52, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, 1983. [doi]

Abstract

Abstract is missing.