To install kProbLog you need Python 3.5 or newer (https://www.continuum.io/downloads).
Install the following dependencies:
$ python -m pip install joblib
$ python -m pip install networkx
$ python -m pip install h5py
Install gringo4.5 grounder:
$ brew install gringo # on Mac OS X
$ aptitude install gringo # on Ubuntu/Linux
Clone the kProbLog repository:
$ git clone https://github.com/orsinif/kProbLogDSL.git
$ cd kProbLogDSL
Make sure that the variable GRINGO_BIN_FILE_PATH in kproblog/config.py points to the gringo executable.
Launch a test:
$ python wl.py
If you get a syntax error, you are probably using Python2. If some dependencies are missing make sure you installed them for Python3
Launch kProbLog on QC
$ python kproblog_qc.py | tee kproblog_qc.log
check the results
$ cat kproblog_qc.log | grep -e CONFIGURATION_SET -e ^EXTRACTION -e ^FINAL
Launch kProbLog on MUTAG
$ python kproblog_mutag.py
compute the accuracy
$ python h5experiments.py kproblog_mutag_H_MAX_ITER_1_paper.h5
Launch kProbLog on BURSI
$ python kproblog_bursi.py
compute the auroc
$ python h5experiments.py kproblog_bursi_H_MAX_ITER_1_H_SP_MAX_2_new.h5 --auroc