%% Facebook puzzle
% 1 + 4 = 5
% 2 + 5 = 12
% 3 + 6 = 21
% 5 + 8 = ??

pos(f(1,4,5)).
pos(f(2,5,12)).
pos(f(3,6,21)).