Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code.

Timothy G. Lindholm, Richard A. O'Keefe

Browse the full ICLP paper archive.