EQL: the language and its implementation

Author

Jayaraman, Bharat ; Gupta, Gopal

Author_Institution

Dept. of Comput. Sci., Univ. of North Carolina, Chapel Hill, NC, USA

Volume

15

Issue

6

fYear

1989

fDate

6/1/1989 12:00:00 AM

Firstpage

771

Lastpage

779

Abstract

EqL, a general-purpose language that combines the capabilities of functional and logic programming languages, is described. 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. Examples illustrating the major features of the language, nondeterminism, deferred evaluation of primitives, and logical variables are presented. The aspects of a sequential implementation for EqL, such as compile-time flattening of equations, run-time equation-delaying, and last-equation optimization, are also described

Keywords

equations; functional programming; high level languages; logic programming; mathematics computing; EqL; basic values; compile-time flattening; computational paradigm; conditional rules; data-constructors; deferred evaluation; equation solving; functional programming; general-purpose language; last-equation optimization; logic programming languages; logical variables; nondeterminism; pattern-directed rules; run-time equation-delaying; sequential implementation; Computer languages; Computer science; Concrete; Equations; Functional programming; Logic programming; Programming profession; Runtime; Software engineering;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.24730

Filename

24730