fix p(X) :- once((X, write(yippee), nl)). (obs from Gerlof Bouma).

2010-12-03 15:14:00 +00:00 · 2010-12-03 15:14:00 +00:00 · 268a378ba0
commit 268a378ba0
parent 552d424ee0
1 changed files with 1 additions and 0 deletions
--- a/pl/modules.yap
+++ b/pl/modules.yap
@ -700,6 +700,7 @@ abolish_module(_).
 	'$conj_has_cuts'(G,DCP,NG,OK), OK == ok, !.
 '$clean_cuts'(G,G).

+'$conj_has_cuts'(V,_,V, _) :- var(V), !.
 '$conj_has_cuts'(!,DCP,'$$cut_by'(DCP), ok) :- !. 
 '$conj_has_cuts'((G1,G2),DCP,(NG1,NG2), OK) :- !,
 	'$conj_has_cuts'(G1, DCP, NG1, OK),