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

Merge branch 'master' of https://github.com/mthom/rusty-wam

Browse Source
This commit is contained in:
Mark Thom
2020-04-30 18:20:51 -06:00
parent efd5d6efab 5870824d01
commit a346493de1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -3064,7 +3064,7 @@ is_false(var(X)) :- nonvar(X).
:- dynamic(goal_expansion/1). :- dynamic(goal_expansion/1).
goal_expansion(Goal0, _Layout1, _Module, Goal, []) :- user:goal_expansion(Goal0, Goal) :-
\+ goal_expansion(false), \+ goal_expansion(false),
clpz_expandable(Goal0), clpz_expandable(Goal0),
clpz_expansion(Goal0, Goal). clpz_expansion(Goal0, Goal).