diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl index 0310e775..75a38282 100644 --- a/src/lib/clpb.pl +++ b/src/lib/clpb.pl @@ -49,17 +49,6 @@ Compatibility predicates. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ -group_pairs_by_key([], []). -group_pairs_by_key([M-N|T0], [M-[N|TN]|T]) :- - same_key(M, T0, TN, T1), - group_pairs_by_key(T1, T). - -same_key(M0, [M-N|T0], [N|TN], T) :- - M0 == M, - !, - same_key(M, T0, TN, T). -same_key(_, L, [], L). - must_be(What, Term) :- must_be(What, unknown(Term)-1, Term). must_be(acyclic, Where, Term) :- !,