Andrew K. Turk

Learn More
The design and implementation of a relatively portable Prolog compiler .achieving 12!(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(More)
  • 1