Re: documentation MU-Prolog

[jmi@columbo.inria.fr (Janet Bertot)]

In article <42349@sophia.inria.fr>, vachonj@iro.umontreal.ca (Julie Vachon) writes:
=> Bonjour,
=> J'utilise presentement votre logiciel Centaur et il me serait fort
=> utile de savoir ou trouver de la documentation concernant l'interprete
=> Mu-Prolog auquel Centaur fait appel. Je cherche en fait un manuel de
=> reference decrivant les predicats predefinis et la syntaxe de
=> Mu-Prolog.

Hi Julie,

Two comments:

1) The centaur mailing list is sent out to over 50 different sites throughout
   the world and, thus, all messages in the mailing list should be in english.
   This is to get the maximum interaction between users and developers (who are
   also not all french :-)!

2) The Centaur1.2 system is built on MU-Prolog and LeLisp, thus each site must
   have the appropriate licenses for these underlying systems and it is from 
   those who distribute the underlying system that one gets the corresponding
   Doc.  Thus, for MU-Prolog it is Melbourne University who you should address.
   (For a LeLisp manual, it is the ILOG company which is in Gentilly (France)).

	
	regards
	janet