On 2005/12/26, at 10:31, Paulo Moura wrote:
Several: YAP, SWI-Prolog, B-Prolog, SICStus Prolog, XSB, K-Prolog, and ECLiPSe; I'm probably forgetting some compiler.
Some more:
CIAO: http://www.clip.dia.fi.upm.es/Software/index.html GNU Prolog: http://gprolog.inria.fr/ JIProlog: http://www.ugosweb.com/jiprolog/ QU-Prolog 7.0: http://www.itee.uq.edu.au/~pjr/HomePages/ QuPrologHome.html (needs some patches)
Hope the list is complete this time around.
Cheers,
Paulo
P.S. Yes, I've all of them installed on my PowerBook :-)
----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics, University of Beira Interior 6201-001 Covilhã, Portugal
Office 4.3 Ext. 3257 Phone: +351 275319700 Fax: +351 275319899 Email: mailto:pmoura(a)di.ubi.pt
Home page: http://www.di.ubi.pt/~pmoura Research: http://www.logtalk.org/ -----------------------------------------------------------------
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------