in clause split/ooo(cons(X,Xs),cons(X,Ys),Zs) :- split/ooo(Xs,Zs,Ys). variables have no producer: ["X"]
real 0m0.534s user 0m0.196s sys 0m0.036s