diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix \+((!,fail)).

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-19 13:09:35 +01:00
parent 0cd0ece207
commit 6a32efe51a
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pl/boot.yap
View File

@ -1262,10 +1262,11 @@ not(G) :- \+ '$execute'(G).
'$call'(B,CP,G0,M) '$call'(B,CP,G0,M)
). ).
'$call'(\+ X, _CP, _G0, M) :- !, '$call'(\+ X, _CP, _G0, M) :- !,
'$current_choice_point'(CP), \+ ('$current_choice_point'(CP),
\+ '$call'(X,CP,G0,M). '$call'(X,CP,G0,M) ).
'$call'(not(X), _CP, _G0, M) :- !, '$call'(not(X), _CP, _G0, M) :- !,
\+ '$call'(X,CP,G0,M). \+ ('$current_choice_point'(CP),
'$call'(X,CP,G0,M) ).
'$call'(!, CP, _,_) :- !, '$call'(!, CP, _,_) :- !,
'$$cut_by'(CP). '$$cut_by'(CP).
'$call'([A|B], _, _, M) :- !, '$call'([A|B], _, _, M) :- !,