Download Datalog Educational System (DES).
Unzip the archive to a folder of your choice.
You can run DES in console mode (
desneeds execute permission:
chmod +x des
Linux (Ubuntu): Note that DES might need the packages
unixodbc. Install with:
sudo apt-get install unixodbc-dev unixodbc-bin unixodbc
Start DES as described in the last steps above.
docyou can find a manual:
examplesyou can find many examples. The following examples are particularly interesting:
After starting DES:
/helpgives you an overview of all the available commands. Particularly important are:
/r fileloads a (e.g.) datalog program
/datalog goalsolves a goal based on the loaded program
/datalog ancestor(X,Y).(or just:
/prolog ancestor(X,Y).executes the goal as a Prolog program on a tuple by tuple basis
Build own executable with SWI-Prolog:
We recommend using the pre-built packages as described above. However, you can also build your own executable for DES with SWI-Prolog. This requires an installation of SWI-Prolog 7.x.
Download the source code of Datalog Educational System (DES).
Follow the instructions in the Building Guide.