Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 init_kb(Arg1)

 init_kb(Arg1, Arg2)

 save_kb(Arg1)

 consult_kb(Arg1)

 gen_id(Arg1)

 id_count(Arg1)

 store_clause(Arg1, Arg2, Arg3, Arg4)

 store_clauses(Arg1, Arg2)

 store_clauses(Arg1, Arg2, Arg3)

 store_ex(Arg1, Arg2, Arg3)

 get_example(Arg1, Arg2, Arg3)

 get_clause(Arg1, Arg2, Arg3, Arg4, Arg5)

 get_fact(Arg1, Arg2, Arg3, Arg4)

 get_evaluation(Arg1, Arg2)

 clear_kb

 delete_clause(Arg1)

 delete_example(Arg1)

 delete_all(Arg1)

 random_ex(Arg1)

 two_random_ex(Arg1, Arg2)

 two_random_uncovered_ex(Arg1, Arg2)

 two_random_ex_from_list(Arg1, Arg2, Arg3)

 i_random_ex(Arg1, Arg2)

 shortest_clause(Arg1)

 shortest_clause(Arg1, Arg2)

 two_shortest_clauses(Arg1, Arg2)

 two_shortest_clauses(Arg1, Arg2, Arg3)

 shortest_ex(Arg1)

 shortest_uncovered_ex(Arg1)

 shortest_uncovered_ex(Arg1, Arg2)

 two_shortest_ex(Arg1, Arg2)

 two_shortest_uncovered_ex(Arg1, Arg2)

 all_shortest_ex(Arg1)

 all_shortest_uncovered_ex(Arg1)

 no_rules

 no_pos_examples

 no_neg_examples

 no_examples

 flatten_kb

 flatten_rules

 unflatten_kb

 delete_covered_examples

 get_predlist(Arg1)

 rename(Arg1, Arg2, Arg3)

 known(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 ex(Arg1, Arg2, Arg3)

 assertallz(Arg1)

 interpretable_predicate(Arg1)