Standard Out:
in clause append1/oio(cons(X,Xs),Ys,cons(X,Zs)) :- append1/oio(Xs,Ys,Zs).
  variables have no producer: ["X"]


Standard Err:

real	0m0.314s
user	0m0.220s
sys	0m0.024s