Escher
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:
kee.siong@mail.rsise.anu.edu.au
Copyright 2006, All Rights Reserved, Kee Siong Ng, The Australian
National University