Standard Out:

in clause times/ooo(one(b),X,X).
  variables have no producer: ["X"]

Standard Err:


real	0m0.288s
user	0m0.240s
sys	0m0.024s