Start the tool from the command line with
pracquery -i <instruction>.
The PRAC query tool is an interface to make inferences here be dragons
foobar(X,Y) ^ foobar(Y,X)(internal engine only)
The additional parameters include:
There are two parameters one can specify to control predicates whose variable values are to be set to false if the evidence given does not state something different:
Fore functionally determined perdicates, this settings will raise an exception, because there must always be exactly one true ground atom.
This setting will have no effect on functional predicates and will print a warning for soft-functional predicates.
the option to show additional debug outputs during the execution when using the internal system (additional parameter:
debug='INFO'). This field can also be used to pass additional, method-specific parameters to the algorithm, which are documented in inferencemethods.
debug='<level>' This will temporarily set the debug level to the one specified. Admissible values are (with decreasing level of verbosity):