%query: f(o,o,i).

/* from Toyama, 1987 */

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