in clause app/oio(cons(X,Xs),Ys,cons(X,Zs)) :- app/oio(Xs,Ys,Zs). variables have no producer: ["X"]
real 0m0.206s user 0m0.172s sys 0m0.036s