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