Did you know ... Search Documentation:
Pack no_repeats -- prolog/no_repeats.pl
PublicShow source
 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)