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