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 May 2000
Version 1.5#133 (2000/5/5, 17:32:14 CEST)

F. Bueno
D. Cabeza
M. Carro
M. Hermenegildo
P. López
G. Puebla
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)

The server can be downloaded from the same site(s) as the Ciao system. The downloaded package contains complete installation instructions for the server. Before trying to run the Ciao Prolog side of things, make sure that the server is correctly installed and running, and that it can be accessed from the small sample client that comes with the server distribution. Once this is achieved, connection from Ciao should not pose problems.


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