Escher is a functional logic programming language designed with the aim of providing in a simple computation mechanism the best features of functional programming and logic programming. The theoretical foundations for Escher is provided in the book `Logic for Learning' by John Lloyd.

Escher is implemented in Noweb-C++, with fairly extensive documentation. It is being actively supported. The program is available for download here. Kindly email a short note to let me know you have downloaded the system. Also let me know if you wish to be added to an Escher mailing list. The list will inform people of updates to the system. Obviously, I am also interested in any feedback and bug reports for Escher.

Last Updated: 20 February, 2006
Kee Siong Ng:
Copyright 2006, All Rights Reserved, Kee Siong Ng, The Australian National University