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

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

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