clp@moncsbruce.OZ.AU (The CLP(R) Personae) (06/26/87)
(Can you please add the following announcement to the digest)
DISTRIBUTION NOTICE
___________________
We are pleased to announce the availability of our
interpreter for CLP(R), the new Constraint Logic Programming
language. This is being distributed in source code written
in C and it is compatible with most machines running UNIX,
eg. Vaxen, Pyramids and Suns. This is not intended to be a
commercial announcement and is targeted at educational or
research usage.
The distribution includes:
1. CLP(R) interpreter (source code);
2. Example CLP(R) programs;
3. Installation Manual and Programmer's Manual (hard
copies).
Further information can be found in the following papers:
1. J. Jaffar and J-L. Lassez, "Constraint Logic
Programming", Proc. 14th ACM-POPL, Munich, January
1987.
2. J. Jaffar and S. Michaylov, "Methodology and
Implementation of a CLP System", Proc. 4th ICLP,
Melbourne, May 1987.
3. N.C. Heintze, S. Michaylov and P.J. Stuckey, "CLP(R)
and Some Electrical Engineering Problems", Proc. 4th
ICLP, Melbourne, May 1987.
4. C. Lassez, K. McAloon and R. Yap, "Constraint Logic
Programming and Option Trading", IEEE Expert, Fall
Issue 1987, to appear.
If you would like a Site licence for educational or research
purposes, please send a request for more information to
either,
(a) Electronic Mail address:
ACSNET: clp@moncsbruce.oz
ARPANET,CSNET: clp@moncsbruce.oz.au
UUCP: seismo!munnari!moncsbruce.oz!clp
(b) Paper Mail address:
CLP(R) Distribution
Department of Computer Science
Monash University
Clayton
Victoria 3168
Australia
In order to cover distribution and media costs, a license
fee of $150 will apply.