?- solve(numbers(7,0,9,2,6),goal(9)).
NUMBERS = {7 0 9 2 6} GOAL = 9
considering rule 1 ...
considering rule 2 ...
application of rule 2 produces ( 9 + ( 7 * ( 0 *  ( 2 * 6 ) ) ) )
true .

?- solve(numbers(5,4,3,1,0),goal(4)).
NUMBERS = {5 4 3 1 0} GOAL = 4
considering rule 1 ...
considering rule 2 ...
application of rule 2 produces ( 4 + ( 5 * ( 3 *  ( 1 * 0 ) ) ) )
true .

?- solve(numbers(0,2,3,5,3),goal(3)).
NUMBERS = {0 2 3 5 3} GOAL = 3
considering rule 1 ...
considering rule 2 ...
application of rule 2 produces ( 3 + ( 0 * ( 2 *  ( 5 * 3 ) ) ) )
true .