A logical semantics for depth-first prolog with ground negation
- 30 September 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 184 (1-2) , 105-143
- https://doi.org/10.1016/s0304-3975(96)00138-7
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A logical semantics for depth-first prolog with ground negationTheoretical Computer Science, 1997
- Modelling Prolog ControlJournal of Logic and Computation, 1993
- Reasoning about Termination of Pure Prolog ProgramsInformation and Computation, 1993
- Strong termination of logic programsThe Journal of Logic Programming, 1993
- Logic ProgrammingPublished by Cambridge University Press (CUP) ,1992
- Proving termination properties of prolog programs: A semantic approachThe Journal of Logic Programming, 1992
- Simple operational and denotational semantics for Prolog with cutTheoretical Computer Science, 1990
- A logical operational semantics of full PrologPublished by Springer Nature ,1990
- Operational and denotational semantics of prologThe Journal of Logic Programming, 1987
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982