Standard Out:

in clause part/oooo(X,cons(Y,Xs),Ls,cons(Y,Bs)) :- part/oooo(X,Xs,Ls,Bs).
  variables have no producer: ["Y"]

Standard Err:


real	0m0.297s
user	0m0.240s
sys	0m0.040s