Since using CHR constraints with 5.5.x, I have sometimes had success
with saved states under Windows, and usually not, depending on the
build. With 5.6.0, I still have problems.
I get the following error when running CHR programs as saved states in
the Windows version of 5.6.0, with go1 being the goal of the saved state.
go1 succeeded
1 ?- go2.
ERROR: nb_getval/2: variable `$chr_store_global_ground_user:a/1' does
not exist
2 ?-
The original program is given below:
:- use_module(library(chr)).
constraints a/1,write_vals/0.
a(A),write_vals ==> write(A),nl.
write_vals <=> true.
go1 :- write('go1 succeeded'),nl.
go2 :- a(5),a(3),write('constraints inserted'),nl.
go3 :- a(3),a(2),a(4),a(5),a(1),a(7),write_vals.
|
