CLP(R)(ID:1205/clp005)

Constraint Logic Programming (Real) 

for Constraint Logic Programming (Real)

Joxan Jaffar, TJWRC & S. Michaylov, Monash U, 1986

A constraint-logic programming language with real-arithmetic constraints. A superset of Prolog.
Related languages
CLP => CLP(R)   Extension of
Prolog => CLP(R)   Superset
CLP(R) => CIAL   Extension of
References:
  • Jaffar and Lassez, 1987 J. Jaffar , J.-L. Lassez, Constraint logic programming, view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany view details
  • HEINTZE, N., MICHAYLOV, S., STUCKEY, P., AND YAP, R. "On Meta Programming in CLP(R)", In Logic Programming: Proc. of the North American Conf., Vol. 1., E.L. Lusk, and R.A. Overbeek, (eds.), MIT Press, pp. 52-66 1989. view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany view details
  • Jaffar, J. et al, "The CLP(R) Language and System" IBM RR RC16292 (#72336) (Nov 1990). view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany view details
  • Jaffar, Joxan; Michaylov, Spiro; Stuckey, Peter J.; Yap, Roland H. C. "The CLP( R ) language and system" view details
          in TOPLAS 14(3) July 1992 view details