mba:NLP johnz$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- consult('crypto_r.pro').
true.

?- recognizer.
|: Use five and four and three and two and one to make zero.
|: Use five and five and five and five and five to make five.
|: Use one two three four and five to make six.
|: USe one two three four five to make six.
Not a sentence ...
|: Write one in terms of the odd numbers.
|: Write one in terms of the even numbers.
Not a sentence ...
|: Write zero in terms of two through six
|: Write zero in terms of two through six.
Not a sentence ...
|: Write zero in terms of numbers two through six.
|: Can you make seven from the first five positive numbers?
|: Can you make five from nine threes?
Not a sentence ...
|: Can you make 5 from 9 threes?
Not a sentence ...
|: ^C
halt.

Action (h for help) ? abort
% Execution Aborted
?- halt.
mba:NLP johnz$