EqL: The Language and Its Implementation,

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1986
Accession Number
ADA188161

Entities

People

  • Bharat Jayaraman
  • Gopal Gupta

Organizations

  • University of North Carolina at Chapel Hill

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Equations
  • Hash Tables
  • Language
  • Molecules
  • Notation
  • Optimization
  • Programming Languages
  • Semantics
  • Trees (Data Structures)

Fields of Study

  • Computer science

Readers

  • Computational Linguistics