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

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

?- solve(numbers(3,9,5,2,8),goal(4)).
NUMBERS = {3 9 5 2 8} GOAL = 4
considering rule 1 ...
considering rule 2 ...
considering rule 3 ...
considering rule 4 ...
considering rule 5 ...
considering rule 6 ...
application of rule 6 produces ( ( 9 - (  ( 8 - 3 ) / 5 ) ) / 2 )
true .