H ? « ‹ ← → › »

Language peer sets for CLP(R):
Australia↑
Australia/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1986↑
Experimental and other/au ↑

CLP(R)(ID:1205/clp005)

Constraint Logic Programming (Real) 

alternate simple view
Country: Australia
Designed 1986
Published: 1986
Sammet category: Experimental and other

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. (1987) Jaffar and Lassez, 1987 J. Jaffar , J.-L. Lassez, Constraint logic programming,
          in [POPL 1987] (1987) [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany
  • HEINTZE, N., MICHAYLOV, S., STUCKEY, P., AND YAP, (1989) 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.
          in [POPL 1987] (1987) [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany
  • Jaffar, J. et al, (1990) Jaffar, J. et al, "The CLP(R) Language and System" IBM RR RC16292 (#72336) (Nov 1990).
          in [POPL 1987] (1987) [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany
  • Jaffar, Joxan; Michaylov, Spiro; Stuckey, Peter J. (1992) Jaffar, Joxan; Michaylov, Spiro; Stuckey, Peter J.; Yap, Roland H. C. "The CLP( R ) language and system"
          in (1992) TOPLAS 14(3) July 1992
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder