in clause p/io(f(X),g(Y)) :- p/io(f(X),f(Z)), p/io(Z,g(W)). variables have no producer: ["Y"]
real 0m0.188s user 0m0.152s sys 0m0.036s