Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM.

Mike Brayshaw, Marc Eisenstadt

Browse the full ICLP paper archive.