?- consult('cryptoInterpreter.pl').
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 whatever?
Not a sentence...
|: use whatever to make whatever.
problem(numbers(11,10,1,2,2),goal(15))
|: use whatever to make whatever.
problem(numbers(5,10,11,11,10),goal(3))
|: can you make nine from numbers zero through four?
problem(numbers(0,1,2,3,4),goal(9))
|: can you make five with numbers one through five?
problem(numbers(1,2,3,4,5),goal(5))
|: can you make zero with numbers five through nine?
problem(numbers(5,6,7,8,9),goal(0))
|: use five zeros to make one.
problem(numbers(0,0,0,0,0),goal(1))
|: use one one and four fours to make seven.
problem(numbers(1,4,4,4,4),goal(7))
|: can you make zero from two fives and three fours?
problem(numbers(5,5,4,4,4),goal(0))
|: can you make zero from three fives and two fours?
problem(numbers(5,5,5,4,4),goal(0))
|: can you make nine from two twos and one one and three threes?
Not a sentence...
|: can you make nine from two twos and one one two threes?
Not a sentence...
|: can you make nine from two twos and one one and two threes?
problem(numbers(2,2,1,3,3),goal(9))
|: can you make eight from one nine and two eights and two sevens?
problem(numbers(9,8,8,7,7),goal(8))
|: can you make zero from two ones and two twos and one nine?
problem(numbers(1,1,2,2,9),goal(0))
|: stop.
% Execution Aborted
?- interpreter.
|: use one and two and three and four and five to make zero.
( (  ( 1 + 2 ) - 3 ) *  ( 4 + 5 ) )
|: use one one two two and three to make nine.
( (  ( 1 + 1 ) + 2 ) +  ( 3 + 2 ) )
|: use five zeros to make one.
No solution to this one!
|: write five in terms of the odd numbers.
(  ( 5 + 7 ) - ( 9 +  ( 1 - 3 ) ) )
|: write five in terms of the even numbers.
Not a sentence...
|: use whatever to make whatever.
(  ( 5 + 7 ) - ( 9 +  ( 1 - 3 ) ) )
|: use whatever to make whatever.
(  ( 10 + 5 ) * (  ( 14 / 7 ) - 1 ) )
|: use whatever to make whatever.
( ( 5 *  ( 8 - 5 ) ) -  ( 8 + 0 ) )
|: use two ones two twos and one three to make nine.
Not a sentence...
|: use two ones and two twos and one three to make nine.
( (  ( 1 + 1 ) + 2 ) +  ( 3 + 2 ) )
|: use whatever to make whatever.
( ( 3 -  ( 14 + 1 ) ) +  ( 8 * 2 ) )
|: can you make zero from three through seven?
Not a sentence...
|: can you make zero from numbers three through seven?
(  ( 5 + 6 ) * (  ( 3 + 4 ) - 7 ) )
|: can you make xero with five nines?
Not a sentence...
|: can you make zero with five nines?
( 9 * (  ( 9 + 9 ) -  ( 9 + 9 ) ) )
|: can you make four with four fours and one one?
(  ( 4 + 4 ) / (  ( 4 / 4 ) + 1 ) )
|: can you make four with one four and four ones?
( ( 1 +  ( 4 + 1 ) ) -  ( 1 + 1 ) )
|: can you make seven with two sixes and three eights?
( ( 8 +  ( 6 - 6 ) ) -  ( 8 / 8 ) )
|: can you make seven with three eights and two sixes?
( (  ( 8 + 8 ) - 8 ) -  ( 6 / 6 ) )
|: stop.
% Execution Aborted
?- halt.