Compositional operational semantics for Prolog programs

DOI10.1007/BF03037941zbMath0754.68026OpenAlexW2007385440MaRDI QIDQ1188120

M. H. M. Cheng, R. Nigel Horspool, Maarten H. Van Emden, Michael R. Levy

Publication date: 13 August 1992

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037941

zbMATH Keywords

compositionalitydebuggingtracingcut operatorBox modelSLD-trees

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming
• Contributions to the Theory of Logic Programming

This page was built for publication: Compositional operational semantics for Prolog programs