🚀 go-pugleaf

I promised that CLP(R) was in the LIST-OF-PROLOGs, and somehow it was
left out.  Here's the entry-- additions or corrections welcome.  Maybe
I didn't have something sufficiently instantiated the first time?

Bruce
______________________________________________________________________
NAME:		CLP(R)
VERSION:	2.0
SRC/MACHINE/OS: C / VAXen,Pyramid,Sun,etc. / UNIX
AVAILABILITY:	educational or research
COST:		$150 (Australian?)
FEATURES:
    Interpreter, targetted at educational or research usage.

    The CLP(R) language is an instance of the Constraint Logic
    Programming scheme described in [Jaffar & Lassez 87].  Its
    operational mode is similar to that of Prolog.  A major
    difference is that unification is replaced by a more general
    mechanism: solving constraints in a domain of uninterpreted
    functors over real arithmetic. (from the programmer's manual)
CONTACT:	clp@moncsbruce.oz.au
		munnari!moncsbruce.oz!clp@seismo

		CLP(R) Distribution
		Department of Computer Science
		Monash University
		Clayton, Victoria 3168
		Australia
NOTES:
    Jaffar,J. & Lassez,J-L., "Constraint logic programming",
    POPL, Munich, Jan 87.
DATED:		June 1987
______________________________________________________________________