To run Athena, simply type "%athena" at your Unix
prompt. This will give you an Athena prompt ">".
You are now ready to enter and evaluate Athena expressions 
and deductions. To exit, type Ctrl-D.


Note: You can save your Athena code in a file and then 
load the file into Athena by saying ">(load-file file-name)"

-----------------------------------------------------------------

If you have any questions, email Kostas Arkoudas at
koud@ai.mit.edu