1 ?- consult('crypto_nlp_r.pro').
%  io.pro compiled 0.00 sec, 28 clauses
% crypto_nlp_r.pro compiled 0.00 sec, 90 clauses
true.

2 ?- 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 one in terms of the odd numbers.
ok
|: Write zero in terms of two through six.
Not a sentence ...
|: Write one in terms of the even numbers.
Not a sentence ...
|: Write zero in terms of numbers two through six.
ok
|: Can you make seven from the first five positive numbers?
ok
|: Can you make five from nine threes?
Not a sentence ...
|: Can you make 5 from 9 threes?
Not a sentence ...
|: