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

FIXED: corrections to expansion_simpler/2

Browse Source 
Example:

    ?- X = 0, Y = 0, Z #= X-1 + Y-1.
       X = 0, Y = 0, Z = -2.

This addresses #2064.

See ca5a5b4392 for a previous issue in
this logic.
This commit is contained in:
Markus Triska
2023-10-02 23:17:06 +02:00
parent 27b971cbfa
commit f3b848537a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View File

@@ -3099,13 +3099,13 @@ expansion_simpler(Var is Expr0, Goal) :-
ground(Expr0), !, ground(Expr0), !,
phrase(expr_conds(Expr0, Expr), Gs), phrase(expr_conds(Expr0, Expr), Gs),
( maplist(call, Gs) -> Value is Expr, Goal = (Var = Value) ( maplist(call, Gs) -> Value is Expr, Goal = (Var = Value)
; Goal = false ; Goal = (Var is Expr0)
). ).
expansion_simpler(Var =:= Expr0, Goal) :- expansion_simpler(Var =:= Expr0, Goal) :-
ground(Expr0), !, ground(Expr0), !,
phrase(expr_conds(Expr0, Expr), Gs), phrase(expr_conds(Expr0, Expr), Gs),
( maplist(call, Gs) -> Value is Expr, Goal = (Var =:= Value) ( maplist(call, Gs) -> Value is Expr, Goal = (Var =:= Value)
; Goal = false ; Goal = (Var =:= Expr0)
). ).
expansion_simpler(between:between(L,U,V), Goal) :- expansion_simpler(between:between(L,U,V), Goal) :-
maplist(integer, [L,U,V]), maplist(integer, [L,U,V]),