EQL: The Language and its Implementation

Authors:
Bharat Jayaraman;Gopal Gupta
Affiliations:
Univ. of North Carolina at Chapel Hill, Chapel Hill;Univ. of North Carolina at Chapel Hill, Chapel Hill
Venue:
IEEE Transactions on Software Engineering
Year:
1989

Citing 14
Cited 0

Equational logic as a programming language

Equational logic as a programming language
Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture
Logic programming: functions, relations, and equations

Logic programming: functions, relations, and equations
The relation between logic and functional languages: A survey

Journal of Logic Programming
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantics of EqL

IEEE Transactions on Software Engineering
Equations, sets, and reduction semantics for functional and logic programming

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Programming with Equations

ACM Transactions on Programming Languages and Systems (TOPLAS)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Equational logic programming: an extension to equational programming

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Prolog - the language and its implementation compared with Lisp

Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A lazy evaluator

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
LISP 1.5 Programmer's Manual

LISP 1.5 Programmer's Manual
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

Quantified Score

Hi-index	0.00

Visualization

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.