From 6a32efe51add3bdcb237a43c1c19e561b40ea207 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 19 Oct 2014 13:09:35 +0100 Subject: [PATCH] fix \+((!,fail)). --- pl/boot.yap | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/pl/boot.yap b/pl/boot.yap index 84a84cf56..de0493ad1 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -1262,10 +1262,11 @@ not(G) :- \+ '$execute'(G). '$call'(B,CP,G0,M) ). '$call'(\+ X, _CP, _G0, M) :- !, - '$current_choice_point'(CP), - \+ '$call'(X,CP,G0,M). + \+ ('$current_choice_point'(CP), + '$call'(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, _,_) :- !, '$$cut_by'(CP). '$call'([A|B], _, _, M) :- !,