Re: MU-Prolog

[td@capa.inria.fr (Thierry Despeyroux)]

In article <11995@sophia.inria.fr>, banerjee@cis.ksu.edu (Anindya Banerjee) writes:

|> We have an older version of the Centaur system (version 1.0) running
|> Typol under MU-Prolog (version 3.2). Are there any manuals available 
|> for MU-Prolog?

I will send you a copy if you give me your postal address. However you should
have received one with the tape and the MU-Prolog license.


|> Also, how are real numbers implemented in MU-Prolog?

MU-Prolog does not handle real numbers. The prolog compiler that we have chosen
to replace MU-Prolog, SEPIA from ECRC, will use real numbers. But this new
implementation is not yet ready to be distributed, and you will have to wait
a little.

-- 
Send contributions to centaur@sophia.inria.fr. Registration and
administrative matters should be sent to centaur-request@sophia.inria.fr.
+----------------------------------------------------------------------------+
|     Thierry Despeyroux         | email: Thierry.Despeyroux@sophia.inria.fr |
|  I.N.R.I.A. Sophia-Antipolis	 | phone: +33 93 65 77 07		     |
|   2004, Route des Lucioles	 | fax:   +33 93 65 77 66		     |
|           B.P. 109		 | telex: INRIASA 970 050 F		     |
| F-06561 Valbonne Cedex, France |					     |
+----------------------------------------------------------------------------+