Standard Out:

in clause member/io(X,cons(X,X0)).
  variables have no producer: ["X0"]

Standard Err:


real	0m0.220s
user	0m0.188s
sys	0m0.016s