Hi, I am playing around with KiCS and I have a strange problem, when I evaluate a goal the variable bindings are not displayed, I see only the value of the expression. The same expression evaluated in pakcs (another curry interpreter) displays the bindings correctly. Is this a known bug? I would have contacted the author but his email in not in the haskell cabal file. Incidentally, is anyone else using KiCS ? Any comments/remarks ? Best, titto