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

Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew K. Turk

Browse the full ICLP paper archive.