rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #2306 from triska/dcg_representation

Browse Source 
No longer use (->)//2 in library(clpb)
This commit is contained in:
Mark Thom
2024-01-23 15:22:17 -07:00
committed by GitHub
parent 3bff923331 a6ccf95076
commit 44b945a5f3
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/clpb.pl
View File

@@ -1251,7 +1251,7 @@ bdd_restriction_(Node, VI, Value, Res) -->
node_id(Node, ID) }, node_id(Node, ID) },
( { I0 =:= VI } -> ( { I0 =:= VI } ->
( { Value =:= 0 } -> { Res = Low } ( { Value =:= 0 } -> { Res = Low }
; { Value =:= 1 } -> { Res = High } ; { Res = High }
) )
; { I0 > VI } -> { Res = Node } ; { I0 > VI } -> { Res = Node }
; state(G0), { get_assoc(ID, G0, Res) } -> [] ; state(G0), { get_assoc(ID, G0, Res) } -> []

8
src/lib/dcgs.pl
View File

@@ -174,10 +174,10 @@ dcg_constr(phrase(_)). % 7.14.9
dcg_constr(phrase(_,_)). % extension of 7.14.9 dcg_constr(phrase(_,_)). % extension of 7.14.9
dcg_constr(phrase(_,_,_)). % extension of 7.14.9 dcg_constr(phrase(_,_,_)). % extension of 7.14.9
dcg_constr(!). % 7.14.10 dcg_constr(!). % 7.14.10
dcg_constr(\+ _) :- % 7.14.11 - not (existence implementation dep.) dcg_constr(\+ G_0) :- % 7.14.11 - not (existence implementation def.)
throw(error(representation_error(dcg_body), phrase/3)). throw(error(representation_error(dcg_body), [culprit- (\+ G_0)])).
dcg_constr((_->_)) :- % 7.14.12 - if-then (existence implementation dep.) dcg_constr((If->Then)) :- % 7.14.12 - if-then (existence implementation def.)
throw(error(representation_error(dcg_body), phrase/3)). throw(error(representation_error(dcg_body), [culprit- (If->Then)])).
% The principal functor of the first argument indicates % The principal functor of the first argument indicates
% the construct to be expanded. % the construct to be expanded.