loop_check_nr(?CL) is semidet

Loop Check Nr.

 must_not_repeat(:GoalC) is semidet

Must Be Successfull Not Repeat.

 no_repeats_av is semidet

No Repeats Attributed Variables.

 no_repeats(:Goal) is semidet

No Repeats.

 no_repeats(+Vs, :Goal) is semidet

No Repeats.

 no_repeats_old(:Goal) is semidet

No Repeats Old.

 memberchk_same(?X, :TermY0) is semidet

Memberchk Same.

 memberchk_pred(:PRED2Pred, ?X, ?Y0) is semidet

Memberchk Predicate.

 memberchk_pred_rev(:PRED2Pred, ?X, ?Y0) is semidet

Memberchk Predicate Rev.

 no_repeats_old(+Vs, :Goal) is semidet

No Repeats Old.

 no_repeats_u(+Vs, :Goal) is semidet

No Repeats For User Code.

 subtract_eq(+Set, +Delete, -Result) is det

Delete all elements in Delete from Set. Deletion is based on unification using ==/2. The complexity is |Delete|*|Set|.

 subtract_eq(:TermE, ?Delete, ?Result) is semidet

Subtract Using (==/2) (or =@=/2) ).

 succeeds_n_times(:Goal, -Times) is semidet

Succeeds N Times.

 no_repeats_findall5(+Vs, :Goal, -ExitDET, -USE, -NEW) is semidet

No Repeats Findall5.

 no_repeats_save(+Vs, :Goal, -Saved, -USE) is semidet

No Repeats Save.

 no_repeats_save(+Vs, :Goal) is semidet

No Repeats Save.

 no_repeats_findall_r(+Vs, :Goal, -CONS, -ExitDET, -List) is semidet

No Repeats Findall R.

 no_repeats_var(+Var) is det

Attribute a varaible to never be bound to the same value twice

?- no_repeats_var(X),member(X,[1,2,3,3,3,1,2,3]).
X = 1;
X = 2;
X = 3;
No.

Undocumented predicates

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

 memberchk_same0(Arg1, Arg2)

 memberchk_same1(Arg1, Arg2)

 memberchk_same2(Arg1, Arg2)

 memberchk_same3(Arg1, Arg2)

 memberchk_cmp(Arg1, Arg2, Arg3)

 memb_r(Arg1, Arg2)

 no_repeats_cmp(Arg1, Arg2, Arg3)

 nr_test(Arg1, Arg2)