Jan Burse schrieb:
> Maybe we can push some of this magic to other places.

For the print/1 I agree, that eventually a different
predicate name should be chosen, so as not to break
other code.

Also in CHR the magic is even more useful. Since typically
rules do not introduce new variables so much, except
if one does fibonacci via CHR. (Right?)

I am currently thinking of:

show/1

Bye