in clause delmin/oii(tree(X,Left,X0),Y,tree(X,Left1,X1)) :- delmin/oii(Left,Y,Left1). variables have no producer: ["X0"]
real 0m0.349s user 0m0.240s sys 0m0.024s