Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- result_check(Arg1, Arg2, Arg3)
- on_diff_fail(Arg1, Arg2)
- on_diff_throw(Arg1, Arg2)
- call_diff(Arg1, Arg2, Arg3)
- intersect_eq0(Arg1, Arg2, Arg3)
- collecting_list(Arg1, Arg2, Arg3, Arg4)
- start_listening(Arg1)
- call_in_engine(Arg1)
- start_goal_saved1
- wait_until_next_request
- next_solution
- next_solution(Arg1)