The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1989 vol.15)
pp: 771-779
ABSTRACT
<p>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.</p>
INDEX TERMS
conditional rules; functional programming; general-purpose language; logic programming languages; EqL; pattern-directed rules; data-constructors; basic values; computational paradigm; equation solving; nondeterminism; deferred evaluation; logical variables; sequential implementation; compile-time flattening; run-time equation-delaying; last-equation optimization; equations; functional programming; high level languages; logic programming; mathematics computing
CITATION
B. Jayaraman, "EQL: The Language and its Implementation", IEEE Transactions on Software Engineering, vol.15, no. 6, pp. 771-779, June 1989, doi:10.1109/32.24730
385 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool