Accession Number : ADA188351

Title :   EqL's User's Guide,

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

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

PDF Url : ADA188351

Report Date : Sep 1987

Pagination or Media Count : 27

Abstract : EqL is a general-purpose language that combines the capabilities of functional and logic programming languages. A program is EqL (Equational Language) 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 report describes EqL informally, by first presenting the syntax of constructs and the built-in operations, and then showing how to write and run programs using the EqL interpreter. Several examples are presented, illustrating the various features of the language: nondeterminism, logical variables, deferred evaluation of primitives, higher-order operations, and user-defined constructors. The report also describes I/O operations and other features of the interpreter, including program tracing. Keywords: Functional programming; Logic programming; Debugging.

Descriptors :   *PROGRAMMING LANGUAGES, *PROGRAMMING MANUALS, COMPUTER PROGRAMMING, EQUATIONS, LOGIC, SELF CONTAINED, SYNTAX, USER MANUALS, INTERPRETERS, INPUT OUTPUT PROCESSING, DEBUGGING(COMPUTERS)

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE