Accession Number : ADA188161

Title :   EqL: The Language and Its Implementation,

Corporate Author : NORTH CAROLINA UNIV AT CHAPEL HILL DEPT OF COMPUTER SCIENCE

Personal Author(s) : Jayaraman, Bharat ; Gupta, Gopal

PDF Url : ADA188161

Report Date : Jan 1986

Pagination or Media Count : 35

Abstract : 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. The computational paradigm in EqL is equation solving. This paper describes EqL informally, by first presenting several examples illustrating the various features of the language: nondeterminism, logical variables, deferred evaluation of primitives, and user-defined constructors. This paper also describes the novel aspects of a sequential implementation for EqL: compile-time flattening and reordering of equations; and run-time equation-delaying, last-equation optimization, and rule indexing.

Descriptors :   *PROGRAMMING LANGUAGES, EQUATIONS, LOGIC, INTERPRETERS, VARIABLES, OPTIMIZATION, SEMANTICS, SYNTAX

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE