From 9cd762d88a4a32b91db43dea56285c248e399c07 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 4 Dec 2023 13:51:44 -0700 Subject: [PATCH] remove (\+)//1 (#1511) --- src/lib/dcgs.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index b8563151..550009bb 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -166,7 +166,7 @@ dcg_cbody({Goal}, S0, S, ( Goal, S0 = S )). dcg_cbody(call(Cont), S0, S, call(Cont, S0, S)). dcg_cbody(phrase(Body), S0, S, phrase(Body, S0, S)). dcg_cbody(!, S0, S, ( !, S0 = S )). -dcg_cbody(\+ GRBody, S0, S, ( \+ phrase(GRBody,S0,_), S0 = S )). +% dcg_cbody(\+ GRBody, S0, S, ( \+ phrase(GRBody,S0,_), S0 = S )). dcg_cbody(( GRIf -> GRThen ), S0, S, ( If -> Then )) :- dcg_body(GRIf, S0, S1, If), dcg_body(GRThen, S1, S, Then). -- 2.54.0