Parsing Steps

The central concept of the Kahina system is the computation step with associated information. In the case of feature logic systems such as TRALE and QType, a step is associated with information on the respective operation (e.g. unification, MGS computation, or goal execution), as well as a snapshot of relevant data at that step (e.g. feature structures and variable bindings).

Last modified 7 years ago Last modified on Jan 8, 2012, 8:23:15 PM