The design and implementation of a relatively portable Prolog compiler achieving 12K LIPS on the standard benchmark is described. The compiler is incremental and uses decompilation to implement retract, clause, and listing, as well as support the needs of its four-port debugger. The system supports modules, garbage collection, database pointers, and a full range of built-ins.
Bowen, Kenneth A.; Buettner, Kevin A.; Cicekli, Ilyas; and Turk, Andrew, "The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler" (1985). Electrical Engineering and Computer Science Technical Reports. Paper 35.