Towards a logical semantics for pure Prolog

DOI10.1016/S0167-6423(97)00033-6MaRDI QIDQ1818324zbMATH OpenFDO

Authors Roberto Barbuti, Nicoletta De Francesco, P. Mancarella, Antonella Santone

Publication date 4 January 2000

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(97)00033-6

zbMATH Keywords

logic programsProlog programs

Mathematics Subject Classification ID

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

Recommendations

• A closer look at declarative interpretations
• Is there an axiomatic semantics for standard pure Prolog?
• Denotational and operational semantics for prolog
• On the declarative and procedural semantics of logic programs

Cited in

(18)

• A declarative approach for first-order built-in's of Prolog
• A logical semantics for depth-first Prolog with ground negation
• Oracle semantics for Prolog
• Defining standard Prolog in rewriting logic
• Truth versus information in logic programming
• A structured alternative to Prolog with simple compositional semantics
• scientific article; zbMATH DE number 4195155 (Why is no real title available?)
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• scientific article; zbMATH DE number 65740 (Why is no real title available?)
• scientific article; zbMATH DE number 1746028 (Why is no real title available?)
• scientific article; zbMATH DE number 3999251 (Why is no real title available?)
• scientific article; zbMATH DE number 823595 (Why is no real title available?)
• On the declarative and procedural semantics of definite metalogic programs
• Logic programming semantics made easy
• Is there an axiomatic semantics for standard pure Prolog?
• Declarative modeling of the operational behavior of logic languages

This page was built for publication: Towards a logical semantics for pure Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818324)