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

Mike Brayshaw, Marc Eisenstadt (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics