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