?- demo(100). Problem : numbers = {2, 3, 9, 0, 8} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {7, 6, 0, 0, 8} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {1, 0, 8, 6, 5} and goal = 3 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 solution: ( ( 8 - 6 ) + ( 1 - ( 0 * 5 ) ) ) Problem : numbers = {4, 9, 1, 4, 0} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... application of rule 7considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {5, 8, 7, 8, 7} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 7, 6, 5, 7} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 5 + ( 0 * ( 7 * ( 6 * 7 ) ) ) ) Problem : numbers = {7, 0, 4, 1, 6} and goal = 4 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 4 + ( 0 * ( 7 * ( 1 * 6 ) ) ) ) Problem : numbers = {9, 7, 6, 0, 8} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {6, 5, 1, 8, 2} and goal = 0 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {7, 6, 4, 7, 3} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 5, 9, 3, 8} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {1, 1, 7, 7, 2} and goal = 9 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 1, 3, 4, 8} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {3, 2, 6, 6, 2} and goal = 0 considering rule 1 ... considering rule 2 ... application of rule 2 produces solution: ( ( 2 - 2 ) * ( 3 * ( 6 * 6 ) ) ) Problem : numbers = {3, 7, 6, 9, 5} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 2, 3, 6, 2} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 8, 6, 3, 9} and goal = 6 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 6 + ( 0 * ( 8 * ( 3 * 9 ) ) ) ) Problem : numbers = {9, 6, 5, 9, 8} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... application of rule 5application of rule 5application of rule 5considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 2, 7, 2, 0} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 9 * ( 2 * ( 7 * ( 2 * 0 ) ) ) ) Problem : numbers = {0, 9, 1, 6, 3} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 0, 1, 6, 7} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 8 + ( 0 * ( 1 * ( 6 * 7 ) ) ) ) Problem : numbers = {6, 6, 6, 8, 1} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {3, 9, 6, 5, 8} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 4, 8, 0, 9} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... application of rule 5application of rule 5considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {7, 4, 3, 2, 2} and goal = 0 considering rule 1 ... considering rule 2 ... application of rule 2 produces solution: ( ( 2 - 2 ) * ( 7 * ( 4 * 3 ) ) ) Problem : numbers = {2, 6, 3, 6, 7} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 0, 9, 6, 0} and goal = 6 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 6 + ( 0 * ( 8 * ( 9 * 0 ) ) ) ) Problem : numbers = {3, 6, 1, 6, 9} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 7, 7, 3, 8} and goal = 0 considering rule 1 ... considering rule 2 ... application of rule 2 produces solution: ( ( 7 - 7 ) * ( 2 * ( 3 * 8 ) ) ) Problem : numbers = {5, 0, 5, 7, 0} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 9, 0, 2, 5} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 5 + ( 0 * ( 9 * ( 9 * 2 ) ) ) ) Problem : numbers = {2, 3, 4, 9, 0} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 1, 2, 7, 9} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 0 * ( 1 * ( 2 * ( 7 * 9 ) ) ) ) Problem : numbers = {4, 0, 2, 8, 3} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 4 * ( 0 * ( 2 * ( 8 * 3 ) ) ) ) Problem : numbers = {5, 4, 7, 3, 5} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 0, 8, 9, 6} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {6, 9, 8, 3, 0} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {9, 4, 8, 8, 7} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {7, 9, 3, 1, 8} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... application of rule 6 produces solution: ( ( 3 - 1 ) * ( 9 * ( 8 - 7 ) ) ) Problem : numbers = {0, 3, 3, 5, 7} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {7, 5, 9, 9, 7} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 8, 3, 5, 1} and goal = 0 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {4, 2, 5, 7, 1} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {7, 3, 0, 5, 7} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 3 + ( 0 * ( 7 * ( 5 * 7 ) ) ) ) Problem : numbers = {7, 5, 1, 2, 0} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 1 + ( 0 * ( 7 * ( 5 * 2 ) ) ) ) Problem : numbers = {6, 9, 1, 9, 0} and goal = 6 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 6 + ( 0 * ( 9 * ( 1 * 9 ) ) ) ) Problem : numbers = {1, 6, 6, 6, 6} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {4, 6, 2, 3, 1} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {4, 9, 6, 3, 0} and goal = 4 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 4 + ( 0 * ( 9 * ( 6 * 3 ) ) ) ) Problem : numbers = {8, 9, 1, 2, 8} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 8, 8, 6, 3} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 8, 4, 1, 9} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 9, 6, 8, 6} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {5, 2, 4, 8, 6} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {6, 1, 1, 9, 3} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 7, 4, 7, 2} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 8, 7, 7, 6} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 3, 1, 5, 6} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {6, 9, 3, 2, 6} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {5, 3, 1, 4, 1} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 4, 4, 1, 9} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 4, 9, 5, 4} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {5, 8, 9, 4, 6} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 4, 0, 0, 9} and goal = 9 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 9 + ( 0 * ( 4 * ( 0 * 0 ) ) ) ) Problem : numbers = {4, 0, 2, 3, 9} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {4, 9, 0, 3, 2} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 4 * ( 9 * ( 0 * ( 3 * 2 ) ) ) ) Problem : numbers = {4, 1, 7, 0, 5} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 7 + ( 0 * ( 4 * ( 1 * 5 ) ) ) ) Problem : numbers = {2, 9, 3, 9, 4} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... application of rule 5 produces solution: ( ( 4 - 3 ) + ( 2 * ( 9 - 9 ) ) ) Problem : numbers = {4, 6, 2, 4, 0} and goal = 6 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 6 + ( 0 * ( 4 * ( 2 * 4 ) ) ) ) Problem : numbers = {7, 5, 1, 8, 3} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... application of rule 6 produces solution: ( ( 3 - 1 ) * ( 5 * ( 8 - 7 ) ) ) Problem : numbers = {5, 7, 5, 5, 7} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {4, 3, 1, 3, 7} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {3, 0, 4, 0, 6} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {6, 6, 3, 6, 1} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {7, 7, 3, 3, 5} and goal = 9 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {7, 5, 6, 5, 8} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... application of rule 5application of rule 5application of rule 5application of rule 5considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 1, 0, 0, 9} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... application of rule 7application of rule 7application of rule 7application of rule 7considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 2, 9, 4, 4} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {9, 9, 1, 6, 8} and goal = 0 considering rule 1 ... considering rule 2 ... application of rule 2 produces solution: ( ( 9 - 9 ) * ( 1 * ( 6 * 8 ) ) ) Problem : numbers = {1, 7, 6, 5, 5} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 7, 1, 9, 0} and 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 solution: ( ( 2 - 0 ) + ( 7 - ( 1 * 9 ) ) ) Problem : numbers = {7, 4, 1, 2, 3} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {6, 4, 7, 8, 0} and goal = 9 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {2, 6, 0, 7, 5} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {6, 1, 7, 6, 2} and goal = 0 considering rule 1 ... considering rule 2 ... application of rule 2 produces solution: ( ( 6 - 6 ) * ( 1 * ( 7 * 2 ) ) ) Problem : numbers = {3, 8, 0, 2, 1} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 2 + ( 0 * ( 3 * ( 8 * 1 ) ) ) ) Problem : numbers = {4, 8, 3, 7, 7} and goal = 8 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {4, 7, 1, 7, 3} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {8, 4, 6, 0, 3} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 8 * ( 4 * ( 6 * ( 0 * 3 ) ) ) ) Problem : numbers = {3, 9, 0, 2, 3} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 3 * ( 9 * ( 0 * ( 2 * 3 ) ) ) ) Problem : numbers = {2, 6, 8, 2, 0} and goal = 7 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 8, 6, 4, 7} and goal = 4 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 4 + ( 0 * ( 8 * ( 6 * 7 ) ) ) ) Problem : numbers = {6, 7, 3, 2, 0} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {0, 6, 1, 9, 5} and goal = 0 considering rule 1 ... application of rule 1 produces solution: ( 0 * ( 6 * ( 1 * ( 9 * 5 ) ) ) ) Problem : numbers = {8, 7, 3, 7, 5} and 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 ... No SOLUTION found with this rule base. Problem : numbers = {9, 2, 0, 7, 5} and goal = 5 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 5 + ( 0 * ( 9 * ( 2 * 7 ) ) ) ) Problem : numbers = {0, 6, 6, 3, 8} and goal = 3 considering rule 1 ... considering rule 2 ... considering rule 3 ... application of rule 3 produces solution: ( 3 + ( 0 * ( 6 * ( 6 * 8 ) ) ) ) Problem : numbers = {9, 8, 3, 8, 7} and goal = 9 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... considering rule 7 ... considering rule 8 ... No SOLUTION found with this rule base. Problem : numbers = {8, 0, 9, 2, 8} and 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 solution: ( ( 2 - 0 ) + ( 8 - ( 9 * 8 ) ) ) Problem : numbers = {4, 8, 1, 2, 6} and 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 ... No SOLUTION found with this rule base. %---------------------------------------------------------------------------------------- %Additional demoes to show Heuristics 4 - 8 at work %Heuristic 4 ?- solve(problem(numbers(9,7,0,4,5),goal(2))). Problem : numbers = {9, 7, 0, 4, 5} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... application of rule 4 produces solution: ( ( 9 - 7 ) + ( 0 * ( 4 * 5 ) ) ) true . %Heuristic 5 ?- solve(problem(numbers(1,6,5,2,2),goal(1))). Problem : numbers = {1, 6, 5, 2, 2} and goal = 1 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... application of rule 5 produces solution: ( ( 6 - 5 ) + ( 1 * ( 2 - 2 ) ) ) true . %Heuristic 6 ?- solve(problem(numbers(4,5,1,9,7),goal(2))). Problem : numbers = {4, 5, 1, 9, 7} and goal = 2 considering rule 1 ... considering rule 2 ... considering rule 3 ... considering rule 4 ... considering rule 5 ... considering rule 6 ... application of rule 6 produces solution: ( ( 9 - 7 ) * ( 1 * ( 5 - 4 ) ) ) true . %Heuristic 7 ?- solve(problem(numbers(9,7,1,0,4),goal(3))). Problem : numbers = {9, 7, 1, 0, 4} and goal = 3 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 solution: ( ( 9 - 7 ) + ( 1 - ( 0 * 4 ) ) ) true . %Heuristic 8 ?- solve(problem(numbers(8,6,2,0,5),goal(4))). Problem : numbers = {8, 6, 2, 0, 5} and 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 solution: ( ( 8 - 6 ) + ( 2 - ( 0 * 5 ) ) ) true .