An implementation of narrowing
From MaRDI portal
Publication:3821639
DOI10.1016/0743-1066(89)90030-7zbMath0668.68112OpenAlexW2014238166MaRDI QIDQ3821639
Alan Josephson, Nachum Dershowitz
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
implementationlogic programsconditional equationslazy narrowingdemonsdirected equationseager rewritingenumerative nondeterminismredexesRite
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
An abstract concurrent machine for rewriting ⋮ A rationale for conditional equational programming ⋮ C-expressions: A variable-free calculus for equational logic programming ⋮ Logical debugging
This page was built for publication: An implementation of narrowing
