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 ______________________________________________________________________