Command

Description

kb # literal

Asks the system whether literal is a coherent conclusion from kb.

precedence_relations (kb)

Shows all the three precedence relations synthesized from kb.

explicit

Choose explicit precedence relation to resolve conflicts.

implicit

Choose implicit precedence relation to resolve conflicts.

mixed

Choose mixed precedence relation to resolve conflicts.

verbose

Alternate between verbose and non-verbose mode. If the verbose mode is active, the user can

see each step of the reasoning process; otherwise, he can see only the final result of that process.