Standard Out:

in clause split/ooo(cons(X,Xs),cons(X,Ys),Zs) :- split/ooo(Xs,Zs,Ys).
  variables have no producer: ["X"]

Standard Err:


real	0m0.227s
user	0m0.188s
sys	0m0.044s