Logic programming with equations

DOI10.1016/0743-1066(87)90006-9zbMath0631.68010OpenAlexW1983328110MaRDI QIDQ3768368

Keitaro Yukawa, Maarten 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

correctnessPROLOGHorn clausesfunctional programmingequational rewritinglogic specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (5)

Design strategies for rewrite rules ⋮ Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction ⋮ Unification modulo an equality theory for equational logic programming ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Hybrid implementations of algebraic specifications

This page was built for publication: Logic programming with equations