cplint
cplint is a suite of programs for reasoning with probabilistic logic programs. It contains programs for both inference and learning.
You can find the manual at http://friguzzi.github.io/cplint/.
You can try it online at http://cplint.eu.
Installation
This is an SWI-Prolog pack.
It can be installed with pack_install/1
$ swipl
?- pack_install(cplint).
Requirements
It requires the packs
bddem
https://github.com/friguzzi/bddemauc
https://github.com/friguzzi/aucmatrix
https://github.com/friguzzi/matrix
They are installed automatically when installing pack cplint
or can installed manually as
$ swipl
?- pack_install(bddem).
?- pack_install(auc).
?- pack_install(matrix).
bddem
uses a foreign library and contains the library binaries for 32 and 64 bits Linux, MacOs and 64 bits Windows. If you want to recompile the foreign library you can use
?- pack_rebuild(bddem).
On 32 and 64 bits Linux this should work out of the box. On 64 bits Windows the library must be rebuilt by hand, see the pack page https://github.com/friguzzi/bddem.
You can upgrade the pack with
$ swipl
?- pack_upgrade(cplint).
Note that the packs on which cplint
depends are not upgraded automatically in this case so they need to be upgraded manually.
Example of use
$ cd <pack>/cplint/prolog/examples
$ swipl
?- [coin].
?- prob(heads(coin),P).
Testing the installation
$ swipl
?- [library(cplint_test/test)].
?- test.
Datasets
Other machine learning datasets are available in pack cplint_datasets.
Support
Use the Google group https://groups.google.com/forum/#!forum/cplint.