Design and implementation

Dealing with disjunctive clauses

Unification

Loop detection

Query mode

Explore mode

Defining a workable model for showing alternative derivations


[ Prev: Syntax and "semantics" | Next: Evaluation of the current tool | Up: Contents ]

luutran@cs.sci.csupomona.edu