Hi Alejandro,
There is some prolog software for Mac OS X
Several: YAP, SWI-Prolog, B-Prolog, SICStus Prolog, XSB, K-Prolog, and ECLiPSe; I'm probably forgetting some compiler. For download links you may visit:
http://www.logtalk.org/compatibility.html
Cheers,
Paulo
----------------------------------------------------------------- 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/ -----------------------------------------------------------------------------