EqL(ID:1479/eql001)

An equational language. Bharat Jayaraman SUNY Buffalo 1989
Related languages
Prolog => EqL   Derivation of
References:
  • Jayaraman B. and F.S.K. Silbermann, "Equations, Sets, and Reduction Semantics for Functional and Logic Programming" pp320-331 view details
          in Conference Record of the 1986 ACM Symposium on Lisp and Functional Programming, August 1986 view details
  • B. Jayaraman and G. Gupta, "EqL User's Guide", Technical Report 87-010, Department of Computer Science, University of North Carolina at Chapel Hill, May 1987 view details Extract: Intro
    EqL is a general-purpose language that combines the capabilities of functional and logic programming languages.  A program in EqL consists of a collection of conditional, pattern-directed rules, where the conditions are expressed as a conjunction of equations, and the patterns are terms built up of data-constructors and basic values.

    Due to its expressional syntax, EqL directly supports functional programming.  EqL also supports logic programming, as all its variables are 'logical variables' and Prolog-style nondeterminism is allowed.  A limited form of constraint reasoning, going beyond traditional functional and logic programming, is also supported. Further details of the language are described in UNC TR 87-010.

    The declarative semantics of a set of equations is expressed in terms of its complete set of solutions. The computational paradigm in EqL is equation solving, which may also be viewed as a form of 'innermost narrowing', a restriction on narrowing that enables more efficient computation of solutions (see the 1988 IEEE-SE paper for details).

    The EqL interpreter runs about half as fast as the C-Prolog interpreter on Vaxes and Suns, and has a modest number of features to aid debugging and program testing.
          in Conference Record of the 1986 ACM Symposium on Lisp and Functional Programming, August 1986 view details
  • B. Jayaraman and G.~Gupta, "Parallel Execution of an Equational Language", Proc. Graph Reduction Workshop, Lecture Notes in Computer Science 279:370-381, Springer-Verlag, October 1987. view details
          in Conference Record of the 1986 ACM Symposium on Lisp and Functional Programming, August 1986 view details
  • G. Gupta, "An Interpreter for EqL", M.S. Thesis, UNC/Chapel Hill, December 1987, 55 pages. view details
          in Conference Record of the 1986 ACM Symposium on Lisp and Functional Programming, August 1986 view details
  • B. Jayaraman, "Semantics of EqL" view details
          in Proc 8th Intl Conf Distrib Comp Sys, IEEE 1988 view details
  • Jayaraman, B., et al "EqL: The Language and its Implementation" view details
          in Proc 8th Intl Conf Distrib Comp Sys, IEEE 1988 view details
    Resources