?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
* Add missing file
[chr.git] / Examples / chrfreeze.chr
blobad297c947f6a4605f22c4380e2800c5b4ccad076
1 :- module(chrfreeze,[chrfreeze/2]).
2 :- use_module(library(chr)).
3
4 :- constraints chrfreeze/2.
5
6 chrfreeze(V,G) <=> nonvar(V) | call(G).
copy of chr