[eclipse-users] to recover the state of a variable when the predicate is used “tent_set”, library “repair"

From: m.alejandro <malejandrommm_at_...6...>
Date: Wed, 10 Oct 2007 21:12:23 +0200
hi....

I wanted to know like recovering the original state of a variable, after
applying to the predicate "tent_set". For example:


?- X1::1..3, X1 tent_set 2,write(X1).
        ... X1{repair:2, fd:[1..3]}


X1 =    X1{[1..3]}      -------[tent_set 2 ]----->      X1{repair:2,
fd:[1..3]}      -----[????]------>      X1{[1..3]}

bye...
Received on Wed Oct 10 2007 - 20:12:30 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST