ILASP

Inductive Learning of Answer Set Programs

Installation

Linux

Note that although in theory ILASP should work on any Linux distribution, we have only tested it on Ubuntu 18.04.

ILASP depends on the Clingo answer set solver. Older versions of ILASP depend on Clingo version 4.3.0 and it is important that exactly this version is used due to differences in clingo’s built in scripting language in later versions. At the time of writing clingo 4.3.0 can be downloaded from http://downloads.sourceforge.net/project/potassco/clingo/4.3.0/clingo-4.3.0-x86_64-linux.tar.gz. The clingo executable should then be copied somewhere in your PATH. Our recommended approach is to copy the executable into the usr/local/bin/ directory.

Note that if you decide to compile Clingo from source, it is vital that you compile it with Lua support.

It is now also possible to run ILASP with newer versions of Clingo. For details, see Parameters to ILASP.

Poco

Older versions of ILASP use the Poco library. This is not necessary from ILASP 3.0.0 onwards. This library can be installed in Ubuntu using the command sudo apt-get install libpoco-dev.

ILASP

The current version of ILASP for linux can be obtained from http://sourceforge.net/projects/spikeimperial/files/ILASP/. It is recommended that you again copy the executable to /usr/local/bin/.

Mac OSX

ILASP has been built and tested on OSX 10.12 (Sierra).

Clingo.

ILASP depends on the Clingo answer set solver. Older versions of ILASP depend on Clingo version 4.3.0 and it is important that exactly this version is used due to differences in clingo’s built in scripting language in later versions. At the time of writing clingo 4.3.0 can be downloaded from http://downloads.sourceforge.net/project/potassco/clingo/4.3.0/clingo-4.3.0-macos-10.9.tar.gz. The clingo executable should then be copied somewhere in your PATH. Our recommended approach is to copy the executable into the usr/local/bin/ directory.

Note that if you decide to compile Clingo from source, it is vital that you compile it with Lua support.

It is now also possible to run ILASP with newer versions of Clingo. For details, see Parameters to ILASP.

Poco.

Older versions of ILASP use the poco library. This is not necessary from ILASP 3.0.0 onwards. Poco can either be downloaded from http://pocoproject.org/download/ or installed in OSX using the brew package manager. For details of how to install brew, see http://brew.sh. After installing brew, run brew install poco.

ILASP

The current version of ILASP for OSX can be obtained from http://sourceforge.net/projects/spikeimperial/files/ILASP/. It is recommended that you again copy the executable to /usr/local/bin/.