Standard Out:

in clause ackermann/ioo(0,N,s(N)).
  variables have no producer: ["N"]

Standard Err:


real	0m0.333s
user	0m0.184s
sys	0m0.032s