A Progress Report on Incremental Global Compilation of Prolog.

Published in: ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)