%% Number puzzle
%% Roger Alsing's blog post
%%""Genetic Programming: Code smarter than you"
%% Assumed solution: z = (x * y) + (x * x) 

% 2 3 10
% 7 2 63
% 6 5 66
% 8 4 96
% 9 7 ?

pos(f(2,3,10)).
pos(f(7,2,63)).
pos(f(6,5,66)).
pos(f(8,4,96)).