From b494cce5dcc50f04354e4b136a6f03028e9bf709 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sat, 17 Jan 2015 02:41:57 -0800 Subject: [PATCH] fix unbound in , --- pl/lists.yap | 3 +++ 1 file changed, 3 insertions(+) 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)) :-