diff --git a/pl/lists.yap b/pl/lists.yap index f3bc7c175..935648d88 100644 --- a/pl/lists.yap +++ b/pl/lists.yap @@ -76,6 +76,9 @@ lists:delete([Head|List], Elem, [Head|Residue]) :- :- '$set_yap_flags'(11,0). % disable source. +conjunctions:conj_member(X, Y) :- + var(Y), !, + X = Y. conjunctions:conj_member(X, (C1,C2)) :- conjunctions:conj_member(X, C1). conjunctions:conj_member(X, (C1,C2)) :-