in clause shuffle/oo(cons(X,XS),cons(X,YS)) :- reverse/oo(XS,ZS), shuffle/io(ZS,YS). variables have no producer: ["X"]
real 0m0.201s user 0m0.168s sys 0m0.024s