H ? « ‹ ← → › »

Language peer sets for SCREAMER:

SCREAMER(ID:2478/scr007)

alternate simple view
Published:

an extension of COMMON LISP that adds support for non-deterministic and constraint programming. It consists of two levels. The basic non-deterministic level adds support for backtracking and undoable side effects. On top of this substrate, SCREAMER provides a comprehensive constraint programming language in which one can formulate and solve mixed systems of numeric and symbolic constraints. Together these two levels augment COMMON LISP with practically all of the functionality of both PROLOG and constraint logic programming languages such as CHIP and CLP(r). Futhermore, SCREAMER is fully integrates with COMMON LISP. SCREAMER programs can coexist and interoperate with other extensions to COMMON LISP such as CLOS and CLIM. First, SCREAMER code is transformed into COMMON LISP which can be compiled by the underlying COMMON LISP system. Second, the backtracking primitives require fairly low overhead. Finally, this overhead is only paid for those portions of the program which uses the backtracking primitives. Deterministic portions of user programs pass through the SCREAMER-to-COMMON LISP transformation unchanged.

Structures:
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder