Oracle semantics for Prologa

This publication has 11 references indexed in Scilit:

• Modelling Prolog control
  Published by Association for Computing Machinery (ACM) ,1992
• Proving termination of general Prolog programs
  Published by Springer Nature ,1991
• Finite failures and partial computations in concurrent logic languages
  Theoretical Computer Science, 1990
• Studies in Pure Prolog: Termination
  Published by Springer Nature ,1990
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Fully abstract compositional semantics for logic programs
  Published by Association for Computing Machinery (ACM) ,1989
• Operational and denotational semantics of prolog
  The Journal of Logic Programming, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976