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

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

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