CHR: How do you call Prolog code inside a rule ? I assume it is like DCG !!! but doesn\'t seem right
:- use_module(library(chr)). :- chr_constraint move/2,pos/2,