Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- prove(Arg1, Arg2, Arg3, Arg4, Arg5)
- yadlr_concept(Arg1, Arg2)
- yadlr_relation(Arg1, Arg2)
- yadlr_instance(Arg1, Arg2)
- yadlr_concept_name(Arg1, Arg2)
- yadlr_relation_name(Arg1, Arg2)
- yadlr_instance_name(Arg1, Arg2)
- yadlr_assert(Arg1, Arg2, Arg3)
- yadlr_init(Arg1)
- yadlr_retrieve_concept(Arg1, Arg2)
- yadlr_retrieve_instance(Arg1, Arg2)
- set_debug_msgs(Arg1)
- set_depth_limit(Arg1)
- set_proof_tree_log(Arg1)
- unset_proof_tree_log