Domains for logic programming

DOI10.1016/0304-3975(92)90324-9MaRDI QIDQ1185016zbMATH OpenOpenAlexFDO

Authors S. Singh

Publication date 28 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://surface.syr.edu/eecs_techreports/33

zbMATH Keywords

least fixed point semantics of logic programmingScott domains

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 730303
• Logic Programming in Knowledge Domains
• scientific article; zbMATH DE number 176722
• A domain-theoretic approach to functional and logic programming
• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 194376
• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• An algebraic semantics approach to the effective resolution of type equations
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3783068 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• The Semantics of Predicate Logic as a Programming Language

Cited in

(4)

• Clausal logic and logic programming in algebraic domains
• scientific article; zbMATH DE number 3965412 (Why is no real title available?)
• scientific article; zbMATH DE number 3990843 (Why is no real title available?)
• Logic of Plotkin continuous domain

This page was built for publication: Domains for logic programming

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