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

disable goal expansion until #445 is resolved

Browse Source
This commit is contained in:
Markus Triska
2020-05-04 18:55:41 +02:00
parent 0111db6744
commit 2dfdaaa4ba
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).
user:goal_expansion(Goal0, Goal) :-
\+ goal_expansion(false),
clpz_expandable(Goal0),
clpz_expansion(Goal0, Goal).
% goal expansion is disabled for now, until #445 is resolved
%
% user:goal_expansion(Goal0, Goal) :-
% \+ goal_expansion(false),
% clpz_expandable(Goal0),
% clpz_expansion(Goal0, Goal).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%