Combining Logic Programming and Equation Solving

DOI10.1093/LOGCOM/1.3.397MaRDI QIDQ3348390zbMATH OpenOpenAlexFDO

Authors Steffen Hölldobler

Publication date 1991

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.3.397

zbMATH Keywords

Conditional equational theoriesequation solvingresolutionuniversal unification procedure

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Foundations of equational logic programming
• Conditional equational theories and complete sets of transformations
• Unification modulo an equality theory for equational logic programming
• Logic programming with equations
• A rationale for conditional equational programming

Cited in

(7)

• Oriented equational logic programming is complete
• Foundations of equational logic programming
• scientific article; zbMATH DE number 3902027 (Why is no real title available?)
• scientific article; zbMATH DE number 3958699 (Why is no real title available?)
• scientific article; zbMATH DE number 4090847 (Why is no real title available?)
• scientific article; zbMATH DE number 1255555 (Why is no real title available?)
• Analyses of unsatisfiability for equational logic programming

This page was built for publication: Combining Logic Programming and Equation Solving

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