?- consult('cryptoRecognizer.pl'). true. ?- recognizer. |: Use five and four and three and two and one to make zero. ok |: Use five and five and five and five and five to make five. ok |: Use one two three four and five to make six. ok |: Use one two three four five to make six. Not a sentence... |: Write zero in terms of numbers two through six |: Write zero in terms of numbers two through six. Not a sentence... |: write zero in terms of numbers two through six. ok |: write zero in terms of two through six. Not a sentence... |: can you make seven from the first five positive numbers? ok |: Use whatever to make whatever. ok |: can you make three from two zeros and three ones? ok |: can you make nune from one nine and four threes? Not a sentence... |: can you make nine from one nine and four threes? ok |: can you make five from nine threes? Not a sentence... |: can you make 5 from 9 threes? Not a sentence...