scientific article; zbMATH DE number 3921956

MaRDI QIDQ3696495zbMATH OpenFDO

Authors Laurent Fribourg

Publication date 1985

zbMATH Keywords

equational logic programsfirst-order logic with equalityHorn clauseslogic interpreter of equational clauseslogic programmingparamodulationSLOG

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Oriented equational clauses as a programming language
• Logic programming with equations
• scientific article; zbMATH DE number 4078853
• Computing with rewrite systems
• HORNLOG: A graph-based interpreter for general Horn clauses

Cited in

(3)

• Detecting redundant narrowing derivations by the LSE-SL reducibility test
• An optimal narrowing strategy for general canonical systems
• A distribution semantics for probabilistic term rewriting

This page was built for publication:

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