comments
[chr.git] / Examples / chrfreeze.chr
blobad297c947f6a4605f22c4380e2800c5b4ccad076
1 :- module(chrfreeze,[chrfreeze/2]).
2 :- use_module(library(chr)).
4 :- constraints chrfreeze/2.
6 chrfreeze(V,G) <=> nonvar(V) | call(G).