Path: utzoo!mnetor!uunet!husc6!bloom-beacon!gatech!mcnc!thorin!unc!bts
From: bts@unc.cs.unc.edu (Bruce Smith)
Newsgroups: comp.lang.prolog
Subject: Re: LIST-OF-PROLOGs (addition!)
Message-ID: <2437@unc.cs.unc.edu>
Date: 12 Dec 87 20:21:54 GMT
References: <2434@unc.cs.unc.edu>
Reply-To: bts@unc.UUCP (Bruce Smith)
Organization: University of North Carolina, Chapel Hill
Lines: 33
Keywords: Fear of Australian flames!
Summary: Oops!  I forgot something...

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
______________________________________________________________________