Comparative semantics for flow of control in logic programming without logic

DOI10.1016/0890-5401(91)90036-2zbMath0728.68080OpenAlexW2102386160MaRDI QIDQ805247

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

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

Related Items

Comparative metric semantics for concurrent PROLOG, Four domains for concurrency, The semantics of the combination of atomized statements and parallel choice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Denotational semantics of a parallel object-oriented language
• Declarative modeling of the operational behavior of logic languages
• Comparative metric semantics for concurrent PROLOG
• Comparative semantics for prolog with cut
• Infinite streams and finite observations in the semantics of uniform concurrency
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Metric semantics for concurrency
• Linear time and branching time semantics for recursion with merge
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Countable nondeterminism and random assignment
• A Theory of Communicating Sequential Processes
• Operational and denotational semantics of prolog
• Denotational and operational semantics for prolog
• Formal verification of parallel programs
• A Powerdomain Construction
• Algorithm = logic + control
• Processes and the denotational semantics of concurrency