ENHANCED: Enable goal expansion for CLP(ℤ).

This is now possible since #445 is resolved.
2021-02-05 21:06:08 +01:00
parent 81913a5987
commit a228e46a39
1 changed files with 4 additions and 6 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3068,12 +3068,10 @@ is_false(var(X)) :- nonvar(X).

 :- dynamic(goal_expansion/1).

-% 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).
+user:goal_expansion(Goal0, Goal) :-
+        \+ goal_expansion(false),
+        clpz_expandable(Goal0),
+        clpz_expansion(Goal0, Goal).

 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%