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).