repo.or.cz
/
chr.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
extended AI observation analysis to disjunction
[chr.git]
/
Examples
/
chrfreeze.chr
blob
ad297c947f6a4605f22c4380e2800c5b4ccad076
1
:- module(chrfreeze,[chrfreeze/2]).
2
:- use_module(library(chr)).
3
4
:- constraints chrfreeze/2.
5
6
chrfreeze(V,G) <=> nonvar(V) | call(G).
