Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM

@inproceedings{Brayshaw1988AddingDA,
  title={Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM},
  author={Mike Brayshaw and Marc Eisenstadt},
  booktitle={ICLP/SLP},
  year={1988}
}
The Transparent Prolog Machine (TPM) provides a vehicle for visualising the execution of Prolog programs in a manner which is faithful to the underlying behaviour of the Prolog interpreter. Although this fidelity is useful for teaching and debugging purposes, it can be inappropriate when a programmer wishes to view a program at a 'higher level', i.e. in terms of data or procedure abstractions which are not necessarily close to the underlying behaviour of the interpreter. We show how TPM can be… CONTINUE READING