Recursion equation sets computing logic programs

DOI10.1016/0304-3975(90)90023-BMaRDI QIDQ920624zbMATH OpenFDO

Authors Susumu Yamasaki

Publication date 1990

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

zbMATH Keywords

logic programsleast fixed pointHerbrand domainHorn-logic

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Algebra and Coalgebra in Computer Science
• Recursion equations as a programming language
• Logic programs and recursion
• Logic Programs for Primitive Recursive Sets
• The logic of recursive equations
• scientific article; zbMATH DE number 810812
• scientific article; zbMATH DE number 5572668
• scientific article; zbMATH DE number 176722
• Logic programming with equations
• scientific article; zbMATH DE number 3958699

Cites work

• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3888910 (Why is no real title available?)
• scientific article; zbMATH DE number 3965412 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3624760 (Why is no real title available?)
• A deterministic prolog fixpoint semantics
• A fixpoint semantics of Horn sentences based on substitution sets
• Closures and fairness in the semantics of programming logic
• Contributions to the Theory of Logic Programming
• Lucid—A Formal System for Writing and Proving Programs
• Optimal fixedpoints of logic programs
• The Semantics of Predicate Logic as a Programming Language

Cited in

(3)

• scientific article; zbMATH DE number 5572668 (Why is no real title available?)
• A denotational semantics and dataflow construction for logic programs
• Top-down semantics of fair computations of logic programs

This page was built for publication: Recursion equation sets computing logic programs

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