H ? « ‹ ← → › »

Language peer sets for CLP:
United States↑
United States/1980↑
Designed 1980 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

CLP(ID:1307/clp002)

Constraint Logic Programming. 

alternate simple view
Country: United States
Designed 1980
Published: 1980

for Constraint Logic Programming.

A programming framework based (as Prolog) on LUSH (or SLD) resolution, but in which unification has been replaced by a constraint solver. A CLP interpreter contains a Prolog-like inference engine and an incremental constraint solver. The engine sends constraints to the solver one at a time. If the new constraint is consistent with the collected constraints it will be added to the set. If it was inconsistent, it will cause the engine to backtrack.
Related languages
Prolog → CLP   Extension of
CLP → cc   Generalisation of
CLP → cc(FD)   Evolution of
CLP → clp(FD)   Extension of
CLP → CLP(R)   Extension of
CLP → CLP(sigma*)   Extension of
CLP → CLP*   Derivation of
References:
  • Guy Lewis Steele, Jr. (1980) Guy Lewis Steele, Jr. "The Definition and Implementation of a Computer Programming Language Based on Constraints." Massachusetts Inst. of Tech., Cambridge. Artificial Intelligence Lab. Aug 80, 372p AI-TR-595 Abstract
  • Jaffar, J. et al (1987) Jaffar, J. et al "Constraint Logic Programming",
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Tim Menzies (1994) Tim Menzies "[A brief annotated bibliography of Constraint Programming]" Usenet posting to comp.lang.prolog on 28 Jan 1994 Extract: Features
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder