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

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

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