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

Merge pull request #453 from triska/master

Browse Source 
disable goal expansion until #445 is resolved
This commit is contained in:
Mark Thom
2020-05-04 14:32:26 -03:00
committed by GitHub
parent 0111db6744 2dfdaaa4ba
commit 0d85ef4404
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/prolog/lib/clpz.pl
View File

@@ -3064,10 +3064,12 @@ is_false(var(X)) :- nonvar(X).
:- dynamic(goal_expansion/1). :- dynamic(goal_expansion/1).
user:goal_expansion(Goal0, Goal) :- % goal expansion is disabled for now, until #445 is resolved
\+ goal_expansion(false), %
clpz_expandable(Goal0), % user:goal_expansion(Goal0, Goal) :-
clpz_expansion(Goal0, Goal). % \+ goal_expansion(false),
% clpz_expandable(Goal0),
% clpz_expansion(Goal0, Goal).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%