TY - JOUR
T1 - An implementation of narrowing
AU - Josephson, Alan
AU - Dershowitz, Nachum
N1 - Funding Information:
*This research was supported in part by the National Science 85-13417. ‘University of Illinois Department of Computer Science, Urbana, Address correspondence to Alan Josephson, Texas Instruments, 655474, M.S. 238, Dallas, TX, 75265.
PY - 1989
Y1 - 1989
N2 - In this paper we discuss implementation issues of rite, a system that performs lazy narrowing and eager rewriting with respect to a set of directed equations. We describe a novel technique for representing the multiple solutions that arise from the enumerative nondeterminism of narrowing steps. A technique for efficiently identifying redexes, based on the preprocessing of equations for partial matches/unifiers, is presented. Rewriting and narrowing are effected through demons which annotate subterms with continuations obtained from preprocessing. We show how these methods can be extended to deal with conditional equations viewed as logic programs. An experimental implementation is discussed.
AB - In this paper we discuss implementation issues of rite, a system that performs lazy narrowing and eager rewriting with respect to a set of directed equations. We describe a novel technique for representing the multiple solutions that arise from the enumerative nondeterminism of narrowing steps. A technique for efficiently identifying redexes, based on the preprocessing of equations for partial matches/unifiers, is presented. Rewriting and narrowing are effected through demons which annotate subterms with continuations obtained from preprocessing. We show how these methods can be extended to deal with conditional equations viewed as logic programs. An experimental implementation is discussed.
UR - http://www.scopus.com/inward/record.url?scp=0024478572&partnerID=8YFLogxK
U2 - 10.1016/0743-1066(89)90030-7
DO - 10.1016/0743-1066(89)90030-7
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0024478572
SN - 0743-1066
VL - 6
SP - 57
EP - 77
JO - The Journal of Logic Programming
JF - The Journal of Logic Programming
IS - 1-2
ER -