Thomas Berger Andreas Krall A Progress Report on Incremental Global Compilation of Prolog. 0- 1994 ILPS Workshop: Implementation Techniques for Logic Programming Languages ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94_workshop/krall.ps.Z db/conf/slp/slp94-w4.html#BergerK94