Logic programming with equations

DOI10.1016/0743-1066(87)90006-9MaRDI QIDQ3768368zbMATH OpenOpenAlexFDO

Authors Keitaro Yukawa, M. H. van Emden

Publication date 1987

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(87)90006-9

zbMATH Keywords

correctnessequational rewritingfunctional programmingHorn clauseslogic specificationPROLOG

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Comments on “logic programming with equations”
• scientific article; zbMATH DE number 4043302
• A rationale for conditional equational programming
• A theory of complete logic programs with equality
• An equational approach to logic programming

Cited in

(31)

• Computation of full logic programs using one-variable environments
• Incremental constraint satisfaction for equational logic programming
• Transforming Boolean equalities into constraints
• Unification modulo an equality theory for equational logic programming
• Unifying theories for logic programming
• An equational approach to logic programming
• Equivalent logic programs
• scientific article; zbMATH DE number 4191131 (Why is no real title available?)
• Combining Logic Programming and Equation Solving
• Comments on “logic programming with equations”
• scientific article; zbMATH DE number 3921956 (Why is no real title available?)
• A theory of complete logic programs with equality
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• Implementation of an interpreter for abstract equations
• scientific article; zbMATH DE number 3958699 (Why is no real title available?)
• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• scientific article; zbMATH DE number 4043302 (Why is no real title available?)
• scientific article; zbMATH DE number 4045106 (Why is no real title available?)
• scientific article; zbMATH DE number 4078853 (Why is no real title available?)
• Prolog: subsumption of equality axioms by the homogeneous form
• scientific article; zbMATH DE number 125880 (Why is no real title available?)
• scientific article; zbMATH DE number 1255555 (Why is no real title available?)
• A program transformation from equational programs into logic programs
• scientific article; zbMATH DE number 826301 (Why is no real title available?)
• Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
• Classes of equational programs that compile into efficient machine code
• Hybrid implementations of algebraic specifications
• From Boolean equalities to constraints
• Design strategies for rewrite rules
• Subset-equational programming in intelligent decision systems
• Recursion equation sets computing logic programs

This page was built for publication: Logic programming with equations

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