A logic programming system extending Prolog with deductive
database and non-monotonic reasoning capabilities.
Deductive
Database capabilities include tabling, the ability to load
and flexibiy index relations containing hundreds of
thousands of tuples, and an Oracle interface to access even
large relations. Non-monotonic reasoning capabilities
include the ability to evaluate non-stratified programs
according to the well-founded semantics. Also includes
compiled HiLog, a C interface, and modules. This version
includes source code and runs on most 32-bit Unix platforms
as well as on Windows.