SRI International

David H. D. Warren. Prolog Engine on the Symbolics 3600. 7 April. 1983. by Paul McJones — last modified 2021-02-15 16:42

David H. D. Warren. Prolog Engine on the Symbolics 3600. Artificial Intelligence Center, SRI International, 7 April. 1983. Scan by David H. D. Warren.

David H. D. Warren. Development of Computer Architectures for Prolog: Final Report. 21 August 1983. by Paul McJones — last modified 2021-02-15 16:43

David H. D. Warren. Development of Computer Architectures for Prolog: Final Report. Artificial Intelligence Center, SRI International, 21 August 1983. Scan by David H. D. Warren.

David H. D. Warren. Prolog Engine: a byte-coded non-structure-sharing abstract machine definition. Draft. 20 April 1983. by Paul McJones — last modified 2021-02-15 16:42

David H. D. Warren. Prolog Engine: a byte-coded non-structure-sharing abstract machine definition. Draft. Artificial Intelligence Center, SRI International, 20 April 1983. Warren: "A note describing the “Old Prolog Engine”, which was a predecessor to the WAM."

David H. D. Warren. Compiler to translate Prolog into the Old Prolog Engine byte code. 20 March 1983. by Paul McJones — last modified 2021-02-15 16:53

David H. D. Warren. Compiler to translate Prolog into the Old Prolog Engine byte code. Prolog source code, file name ENG-COMPILER.PL, 20 March 1983.

David H. D. Warren. Compiler for the Progol macro-language. by Paul McJones — last modified 2021-02-15 17:05

David H. D. Warren. Compiler for the Progol macro-language. Prolog source code for compiler used to implement emulators for the old and new engine instruction sets. This version targets the Motorola MC68000. Modules kg, kgadmn, kgpre, kggoal, kg68, kg68i, kg68c. Also includes BENCH68.S: 68000 Engine II Benchmark.