A postscript version of this documentation is also available.
Note: comments on this documentation or questions about Squirrel should be addressed to the author at Essex University, email: foxcj@essex ac uk. You may also contact the author if you wish to be informed of substantial updates to this document, or the online demonstrator.
This documentation outlines what the system does, the representations it uses, and gives an indication of the systems coverage. Currently, it is intended to give a flavour of how the system works, rather than the sort of detail needed to reconstruct the programs or configure them for a new domain.