Technical Report

 

CLEDA - LEDA with constraint logic programming Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/technical_reports/cz30pv05m

Descriptions

Attribute NameValues
Alternative Title
Creator
Abstract
  • CLEDA is a new programming language descended from the multiparadigm, strongly typed, compiled programming language LEDA. In addition to the four paradigms supported by LEDA, which are imperative, functional, object-oriented, and relational, CLEDA supports the constraint logic programming paradigm. CLEDA is intended to be used to write applications that involve constrained search problems. Constructs provided to support constraint logic programming include: [1] Built-in inference engine: All boolean expressions are "predicates" in the logic programming sense. Built-in operators "&" and "|" support left-most depth first search and automatic backtracking. Logical expressions can be used in any programming paradigms. [2] User definable constraint solver: Constrained variables of a domain are represented in terms of objects of the corresponding class. Operations and predicates for the domain are written as methods of the class. To restore the necessary information upon backtracking, CLEDA introduces a new built-in operator "<-". This operator is similar to the assignment operator ":=", but saves the necessary information to be recovered when backtracking occurs. This paper describes the design and implementation of the language CLEDA.
  • Cover lists authors as: Tim Budd, Masami Takikawsa [i.e. Takikawa].
  • Keywords: Cleda (Computer program language)
Resource Type
Date Available
Date Issued
Series
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Replaces

Relationships

Parents:

This work has no parents.

Items