Hi,
There is some prolog software for Mac OS X
Thanks,
Alejandro
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/ -----------------------------------------------------------------------------
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/ -----------------------------------------------------------------------------
There is some prolog software for Mac OS X
Oops, we somehow missed this message. Ciao Prolog does run just fine on Mac OS X.
You may want to be a bit careful with the version of emacs that you use. The simple ascii emacs that comes with OS X works fine (but obviously lacks some graphics). Some of the more 'native' emacsen for OS X are actually still quite buggy.
P.S. We are interested in knowing if there are better emacs OS X distributions than the ones we use in our development (there are quite a few). If any of you are Mac OS X users and have emacs distributions you are really happy with please send us a pointer.
Alejandro Madruga Gonzalez wrote:
Hi,
There is some prolog software for Mac OS X
Thanks,
Alejandro
============================================================================== 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/ -----------------------------------------------------------------------------
-
Alejandro Madruga Gonzalez -
ciao＠clip.dia.fi.upm.es -
Frank Ziller -
Paulo Moura