The DisLog Developers' Toolkit (DDK)

by Dietmar Seipel

The DDK library is developed under XPCE/SWI-Prolog.

The Packages of the DDK

The DDK project started with building a system DisLog for non-monotonic reasoning in disjunctive deductive databases.
In the meantime a variety of packages for different purposes has been implemented: Most of the packages are equipped with graphical user interfaces, that have been developed in the object-oriented extension XPCE of SWI-Prolog.

Download of the DDK

The DDK can be obtained as a tgz-archive (of about 9.5 MB) at the following address: