CLP(R)

Constraint Logic Programming (Real)

Joxan Jaffar, TJWRC & S. Michaylov, Monash University, Australia, 1986

A constraint-logic programming language with real-arithmetic constraints. A superset of Prolog.

"The CLP(R) Language and System", Joxan Jaffar et al, IBM RR RC16292 (#72336) (Nov 1990).