Comparative semantics for flow of control in logic programming without logic

DOI10.1016/0890-5401(91)90036-2MaRDI QIDQ805247zbMATH OpenOpenAlexFDO

Authors J. W. de Bakker

Publication date 1991

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(91)90036-2

zbMATH Keywords

comparative semanticslogic programming languageslogic programming without logic

Mathematics Subject Classification ID

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

Recommendations

• Comparative semantics for prolog with cut
• scientific article; zbMATH DE number 4078852
• Simple operational and denotational semantics for Prolog with cut
• Publication:4940931
• Comparative metric semantics for concurrent PROLOG

Cites work

• A Powerdomain Construction
• A Theory of Communicating Sequential Processes
• Algorithm = logic + control
• Comparative metric semantics for concurrent PROLOG
• Comparative semantics for prolog with cut
• Countable nondeterminism and random assignment
• Declarative modeling of the operational behavior of logic languages
• Denotational and operational semantics for prolog
• Denotational semantics of a parallel object-oriented language
• Formal verification of parallel programs
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3958700 (Why is no real title available?)
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)
• scientific article; zbMATH DE number 4106298 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 17699 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 4119652 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• Infinite streams and finite observations in the semantics of uniform concurrency
• Linear time and branching time semantics for recursion with merge
• Metric semantics for concurrency
• Operational and denotational semantics of prolog
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

Cited in

(4)

• Four domains for concurrency
• The semantics of the combination of atomized statements and parallel choice
• scientific article; zbMATH DE number 1407676 (Why is no real title available?)
• Comparative metric semantics for concurrent PROLOG

This page was built for publication: Comparative semantics for flow of control in logic programming without logic

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