Tags: Programming Language.

Escher is a declarative programming language that supports both functional programming and logic programming models developed by J.W. Lloyd in the mid-1990s. It was designed mostly as a research and teaching vehicle. The basic view of programming exhibited by Escher and related languages is that a program is a representation of a theory in some logic framework and the program’s execution (computation) is a deduction from the theory.

Loading...

This page contains content from the copyrighted Wikipedia article "Escher (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.