H ? « ‹ ← → › »

Language peer sets for Escher:
United Kingdom↑
United Kingdom/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Escher(ID:1770/esc003)

alternate simple view
Country: United Kingdom
Designed 1995
Published: 1995

declarative, general-purpose language which integrates the best features of both functional and logic programming languages. It has types and modules, higher-practicalorder and meta-programming facilities, and declarative input/output. It also has a collection of system modules, providing numerous operations on standard data types such as integers, lists, characters, strings, sets, and programs. The main design aim is to combine in a practical and comprehensive way the best ideas  of existing functional and logic languages, such as GOEDEL, HASKELL, and LAMBDA PROLOG. Indeed, it goes well beyond GÖDEL in it's ability to allow function definitions, it's higher-order facilities, it's improved handling definitions, it's improved handling of sets, and it's declarative I/O. It goes well beyond HASKELL in it's ability to run partly-instantiated predicate calls, a familiar feature of logic languages which provides a form of non-deterimism, and it's more flexible handling of equality. The language also has clean semantics

Structures:
Related languages
Goedel → Escher   Incorporated features of
Haskell → Escher   Incorporated some features of
Escher → ESEL   Renaming
References:
  • (1994) Lloyd, J. W. "Combining functional and logic programming languages" In Proceedings of the 1994 International Logic Programming Symposium, ILPS'94, pages 43-57, MIT Press, Cambridge, MA, 1994.
  • Lloyd (1995) Lloyd, John W. "Debugging for a Declarative Programming Language" Abstract
          in (1995) Machine Intelligence 15 K. Furukawa, D. Michie, and S. Muggleton (eds). Oxford University Press 1995
  • Lloyd (1995) Lloyd, JW Declarative programming in Escher. Technical Report CSTR-95-013, Department of Computer Science, University of Bristol, 1995 Online copy
          in (1995) Machine Intelligence 15 K. Furukawa, D. Michie, and S. Muggleton (eds). Oxford University Press 1995
  • Escher (1995) Perfect Developer Language Reference Manual
          in (1995) Machine Intelligence 15 K. Furukawa, D. Michie, and S. Muggleton (eds). Oxford University Press 1995
  • Lloyd (1999) Lloyd J. W. "Programming in an Integrated Functional and Logic Language" Journal of Functional and Logic Programming 1999 Abstract Page at CiteSeer Extract: Introduction
          in (1995) Machine Intelligence 15 K. Furukawa, D. Michie, and S. Muggleton (eds). Oxford University Press 1995
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder