?- consult('crypto_i.pro'). true. ?- parser. |: Use one and two and three and four and five to make zero. problem(numbers(1,2,3,4,5),goal(0)) |: Use nine nine eight seven six to make one. Not a sentence ... |: Use nine nine eight seven and six to make one. problem(numbers(9,9,8,7,6),goal(1)) |: Write five in terms of the odd numbers. problem(numbers(1,3,5,7,9),goal(5)) |: Write zero in terms of the first five positive numbers. problem(numbers(1,2,3,4,5),goal(0)) |: Can you make whatever from watever? Not a sentence ... |: Use whatever to make whatever. problem(numbers(4,5,1,0,9),goal(9)) |: Use whatever to make whatever. problem(numbers(0,0,1,1,2),goal(1)) |: Can you make five with numbers one through five? problem(numbers(1,2,3,4,5),goal(5)) |: problem(numbers(0,0,0,0,0),goal(1)). Not a sentence ... |: problem(numbers(0,0,0,0,0),goal(1)) |: problem(numbers(4,4,4,4,1),goal(7)) |: Can you make zero from two ones and two twos and one nine? Not a sentence ... |: Can you make zero from two ones and two twos and one nine? problem(numbers(1,1,2,2,9),goal(0)) |: [1]+ Stopped swipl ?- consult('crypto_i.pro'). true. ?- interpreter. |: Use one and two and three and four and five to make zero. Solution: ( ( 4 + 5 ) - ( ( 1 + 2 ) * 3 ) ) |: Use five zeros to make one. No solution to this problem. |: Use whatever to make whatever. No solution to this problem. |: Use whatever to make whatever. Solution: ( ( 6 - 4 ) - ( 2 - ( 4 + 3 ) ) ) |: Use whatever to make whatever. Solution: ( ( 3 + 1 ) / ( 6 + ( 2 * 7 ) ) ) |: Use whatever to make whatever. Solution: ( ( 3 + 4 ) + ( 8 / ( 7 + 9 ) ) ) |: Use whatever to make whatever. Solution: ( ( 6 + 7 ) - ( 5 * ( 2 + 2 ) ) ) |: Use whatever to make whatever. Solution: ( ( 5 * 4 ) / ( 3 - ( 9 + 4 ) ) ) |: Use whatever to make whatever. Solution: ( 3 - ( ( 8 + 2 ) / ( 1 + 4 ) ) ) |: Use whatever to make whatever. Solution: ( ( 7 + ( 8 + 0 ) ) + ( 1 - 8 ) ) |: Can you make zero from numbers three through seven? Solution: ( ( 5 + 6 ) * ( ( 3 + 4 ) - 7 ) ) |: Can you make zero with five nines? Solution: ( 9 * ( ( 9 + 9 ) - ( 9 + 9 ) ) ) |: ^C Action (h for help) ? abort % Execution Aborted ?- halt. mba:NLP johnz$