Software

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. Escher is described in more details in these articles: