Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- check_consistency(Arg1)
- check_consistency(Arg1, Arg2)
- ask(Arg1, Arg2, Arg3)
- ask(Arg1, Arg2, Arg3, Arg4)
- ask_with_answers(Arg1, Arg2, Arg3)
- prove(Arg1, Arg2, Arg3)
- prove(Arg1, Arg2, Arg3, Arg4)
- prove_with_answers(Arg1, Arg2, Arg3)