Programming Language - CLP

CLP

CLP -
1. Cornell List Processor. List processing language, an extension of
CORC, used for simulation. Sammet 1969, p.461.
2. 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. "Constraint
Logic Programming", J. Jaffar et al, 14th POPL, ACM 1987.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

17 plus 9? *   Robot Spam Prevention

 

Next Language:   C+@

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z