The Ciao Prolog System

A Next Generation Logic Programming Environment
REFERENCE MANUAL
The Ciao System Documentation Series
Technical Report CLIP 3/97.1
Generated/Printed on: 5 October 2004
Version 1.11#222 (2004/5/24, 13:8:7 CEST)

F. Bueno
D. Cabeza
M. Carro
M. Hermenegildo
P. López
G. Puebla
clip@clip.dia.fi.upm.es
http://www.clip.dia.fi.upm.es/
The CLIP Group
School of Computer Science
Technical University of Madrid


(1)

Currently there is an exception to this related to libraries which are written in languages other than Prolog, as, e.g., C. C files are currently always compiled to dynamically loadable object files (.so files), and they thus need to be included manually in a distribution of an application. This will be automated in upcoming versions of the Ciao system.

(2)

It is also possible to produce real standalone executables, i.e., executables that do not need to have an engine around. However, this is not automated yet, although it is planned for an upcoming version of the compiler. In particular, the compiler can generate a .c file for each .pl file. Then all the .c files can be compiled together into a real executable (the engine is added one more element during link time) producing a complete executable for a given architecture. The downside of course is that such an executable will not be portable to other architectures without recompilation.

(3)

It is also possible to provide active modules via a WWW address. However, we find it more straightforward to simply use socket addresses. In any case, this is generally hidden inside the access method and can be thus made transparent to the user.

(4)

Limitation: Some printers can have problems if the PostScript file is too complex (i.e. too many points/lines appear in the picture).

(5)

It should be pointed out that I am refering to an index as the position of an element in a list.

(6)

In scatter graphs the attibute that contains the features of a point dataset is PAtts.


This document was generated on 5 October 2004 using texi2html 1.56k + clip patches and lpdoc.