Using an accumulator passing technique ( O'Keefe 1990 ) , we ensure that upon execution of a call to the interaction predicate q_1 a new lexical entry is derived as the result of successive application of a number of lexical rules .
the craft of prolog
Richard O'Keefe
Each transition in the automaton is translated into a definite relation in which the corresponding lexical rule predicate is called , and each final state is encoded by a unit clause . Using an accumulator passing technique ( O'Keefe 1990 ) , we ensure that upon execution of a call to the interaction predicate q_1 a new lexical entry is derived as the result of successive application of a number of lexical rules . Because of the word class specialization step discussed in Section 3.3 , the execution avoids trying out many lexical rule applications that are guaranteed to fail .
Using an accumulator passing technique ( @@CITATION ) , we ensure that upon execution of a call to the interaction predicate q_1 a new lexical entry is derived as the result of successive application of a number of lexical rules .