The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler

Kenneth A. Bowen, Syracuse University
Kevin A. Buettner
Ilyas Cicekli
Andrew Turk



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.