An implementation of narrowing
From MaRDI portal
Publication:3821639
DOI10.1016/0743-1066(89)90030-7zbMath0668.68112MaRDI QIDQ3821639
Nachum Dershowitz, Alan Josephson
Publication date: 1989
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(89)90030-7
implementation; logic programs; conditional equations; lazy narrowing; demons; directed equations; eager rewriting; enumerative nondeterminism; redexes; Rite
03B35: Mechanization of proofs and logical operations
68N01: General topics in the theory of software
Related Items
A rationale for conditional equational programming, C-expressions: A variable-free calculus for equational logic programming, Logical debugging