Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/logicmoo/no_repeats.pl
PublicShow source
 must_not_repeat(:GoalC) is semidet
Must Be Successfull Not Repeat.
 no_repeats(:Goal) is semidet
No Repeats.
 no_repeats(+Vs, :Goal) is semidet
No Repeats.
 no_repeats_old(:Goal) is semidet
No Repeats Old.
 no_repeats_old(+Vs, :Goal) is semidet
No Repeats Old.
 no_repeats_u(+Vs, :Goal) is semidet
No Repeats For User Code.
 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.