2004-05-20 13:09:16 +02:00
|
|
|
ISO/Edinburgh-style Prolog compiler. Compliant with Part 1 of the ISO
|
|
|
|
standard for Prolog. Covers all traditional Edinburgh Prolog features
|
|
|
|
and shares many features with Quintus and SICStus Prolog, including a
|
|
|
|
compatible module system. Very fast compiler, garbage collection (also
|
|
|
|
on atoms), fast and powerful C/C++ interface, autoloading,
|
|
|
|
GNU-readline interface. SWI-Prolog supports architectures with 32-bit
|
2005-05-23 10:26:03 +02:00
|
|
|
or greater (64-bit) word-length.
|
2004-05-20 13:09:16 +02:00
|
|
|
|
2004-05-20 13:13:27 +02:00
|
|
|
This is the core package, packages are available in the
|
|
|
|
swi-prolog-packages package.
|