AI IDE Lang Compiler
Ciao PDF Print E-mail
Contributed by Manuel Hermenegildo   
Tuesday, 30 November 1999
Francisco Bueno,
Daniel Cabeza,
Manuel Carro,
Manuel Hermenegildo,
Pedro Lopez, and German Puebla.

http://www.clip.dia.fi.up.ws/
The CLIP Group
Scool of Computer Science
Technical University of Madrid
 

Ciao is a _public domain_, _next generation_ multi-paradigm programming environment with a unique set of features:

Ciao offers a complete Prolog system, supporting _ISO-Prolog_,but its novel modular design allows both _restricting_ and_extending_ the language. As a result, it allows working with_fully declarative subsets_ of Prolog and also to _extend_ thesesubsets (or ISO-Prolog) both syntactically and semantically.Most importantly, these restrictions and extensions can beactivated separately on each program module so that severalextensions can coexist in the same application for differentmodules...

Last Updated ( Tuesday, 03 April 2007 )
Read more...
Clisp 2.28 PDF Print E-mail
Written by Rizki Noor Hidayat Wijayaź   
Tuesday, 30 November 1999

LISP is a programming language. It was invented by J. McCarthy in 1959. There have been many dialects of it, but nowadays LISP has been standardized and wide-spread due to the industrial standard COMMON LISP. There are applications in the domains of symbolic knowledge processing (AI), numerical mathematics (MACLISP yielded numerical code as good as FORTRAN), and widely used programs like editors (EMACS) and CAD (AUTOCAD).

Last Updated ( Tuesday, 03 April 2007 )
Read more...
Darwin PDF Print E-mail
Written by Rizki Noor Hidayat Wijayaź   
Tuesday, 30 November 1999

Using OpenMCL under Darwin and MacOS X

Most of the documentation and whatever experience you may have in using OpenMCL under LinuxPPC should apply to using it under Darwin/ MacOS X. There are some differences between the platforms, and these differences are sometimes exposed in the implementation.

FASL file segregation

99% of the compiled lisp code in the two implementations is identical. Since both implementations target the PowerPC, this shouldn t be too surprising.

The other 1% - code which deals with foreign functions or data or which deals directly with the operating system - is very different but superficially similar. The effects of running such code compiled for the wrong platform range for harmless to catastrophic.

During bootstrapping, the 1% proved troublesome enough that it seemed wise to strictly separate the two implementations. FASL have different file types (.dfsl for Darwin, .pfsl for LinuxPPC) and contain different identifying information; it s not possible to successfully load FASL files compiled for one implementation into the other.

I think that it s wise to maintain this distinction; I spent a lot less time recompiling the 99% of on-troublesome code than I d been spending tracking down bugs caused by the other 1%.

Last Updated ( Tuesday, 03 April 2007 )
Read more...
Ecl PDF Print E-mail
Contributed by Giuseppe Attardi   
Tuesday, 30 November 1999

Dipartimento Di Informatica
Corso Italia 40
I-56125 Pisa, Italy

This Is Ecolisp (Ecl), An Embeddable Common Lisp Implementation. Ecl Is An Implementation Of Common Lisp Designed For Being Embeddable Into C Based Applications.Ecl Uses Standard C Calling Conventions For Lisp Compiled Functions, Which Allows C Programs To Easily Call Lisp Functions And Viceversa. No Foreign Function Interface Is Required: Data Can Be Exchanged Between C And Lisp With No Need For Conversion.

Last Updated ( Tuesday, 03 April 2007 )
Read more...