Simple operational and denotational semantics for Prolog with cut
- 30 March 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 71 (2) , 193-208
- https://doi.org/10.1016/0304-3975(90)90197-p
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982