CLP(R) rendszer

Rövid szöveges bemutatás: 
A CLP(R) a Constraint Logic Programming (Real) rövidítése, melyet Joxan JAffar és S. Michaylov fejlesztett ki 1986-ban. Arra fejlesztették, hogy valós értékű lineráis egyenletrendszereket oldjon meg. Ez egy dekleratív nyelv. PROLOG alapú volt, így logikai programozásra is használható volt.