Libraries
Some ready-made (compiled) dynamic libraries can be downloaded here. They have to be considered as "betas", since they are currently developed and tested. Feedbacks are useful and welcome, so please download them freely. For further information on how to exploit libraries have a look at the documentation. Please note that updates will be available later on, so come back to this page.
String Library, versions for: linux - windows and related documentation.
Integers Library, versions for: linux - windows and related documentation.
Reals Library, versions for: linux - windows and related documentation.
Utilities
DEBT - We have developed an integrated command-line environment aimed at helping in testing external built-ins predicates. This may be very useful for users who define their own built-ins. DEBT can be downloaded here, and it is gathered with its related documentation.
Latest Version
This is an OLD version of the system, which is no longer maintained.
Linux i386, 32bit (Latest version July 28th, 2008).
windows 32bit (Latest version July 28th, 2008).
Please have a look at the notes below. You may also want to have a look at some benchmarks.