no_choicepoints(:Goal, :Handler)

calls Handler(Goal) if Goal has no choicepoints

Undocumented predicates

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

 has_choicepoints(Arg1, Arg2)