> By the way, is CIAO compatible to CLP(R)?
CIAO does have a CLP(R)-compatible library, but this is not being
distributed yet (we are porting it from a previous version of CIAO).
We hope to have it ready shortly, though.
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------
