/* c:/users/gregoire fouillard/dropbox/efrei_2013_2014/ia/fichiers_prolog */

f(0,2).
f(1,2).
f(N,P) :- N1 is N-1, f(N1,P1), P is 2*P1.