%query: f(f,f,b).

/* from Toyama, 1987 */

f(0,1,X) :- f(X,X,X).
