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

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

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