| xray/1 | comile a given knowledge base file |
| query/0 | try to prove the query |
| query/2 | try to prove the query ??? |
| query/4 | try to prove the query ??? |
| configuration/0 | display the actual XRay |
| no_verbose_mode/0 | switch to less output; works during compile- and run-time. |
| verbose_mode/0 | switch to complete output; works during compile- and run-time. |
| lemma_handling./0 | turn on lemma handling, that is, during query-answering lemmas are generated and stored |
| no_lemma_handling./0 | turn of lemma handling |
| show_lemmas/0 | display generated lemmas |
| remove_lemmas/0 | remove generated lemmas |
| add_static_lemmas/0 | ??? |
| add_omega_lemmas/0 | ??? |
| compile_lemma_handling/1 | ??? |
| pretty_printer_lem/1 | ??? |
| hook_configuration/0 | |
| lemma_configuration/0 | |
| switch_delta_ordering/1 | switch_delta_ordering stears the order of admissibility and compatibility checking in delta rules at compile-time. |
| dont_compile_complete_search/0 | see do_compile_complete_search/0 |
| do_compile_complete_search/0 | complete search facilities are turned (during compile-time) on by do_compile_complete_search, off by dont_compile_complete_search. do_compile_complete_search or dont_compile_complete_search must be executed before the problem is compiled. |
| do_compile_proof_printing/0 | see dont_compile_proof_printing/0 |
| dont_compile_proof_printing/0 | Proof printing is (better) turned (during compile-time) on by do_compile_proof_printing (print_proof), off by dont_compile_proof_printing (dont_print_proof). do_compile_proof_printing or dont_compile_proof_printing must be executed before the problem is compiled. |
| do_compile_count_inferences/0 | see dont_compile_count_inferences/0. |
| dont_compile_count_inferences/0 | Inference counting is turned on by do_compile_count_inferences (count_inferences), off by dont_compile_count_inferences (dont_count_inferences). Inferences are counted by retracting the current count and asserting the incremented count, so inference counting is very slow. |