https://github.com/friguzzi/cplint
Tip revision: 68d041fd5d49e88de6bfa33cdc9e9f5c8ff4baf6 authored by Fabrizio Riguzzi on 08 February 2024, 07:58:50 UTC
mc_particle_sample/4 available
mc_particle_sample/4 available
Tip revision: 68d041f
README.md
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/](http://friguzzi.github.io/cplint/).
You can try it online at [http://cplint.eu](http://cplint.eu).
Installation
------------
This is an [SWI-Prolog](http://www.swi-prolog.org/) [pack](https://www.swi-prolog.org/pack/list?p=cplint).
It can be installed with `pack_install/1`
$ swipl
?- pack_install(cplint).
Requirements
-------------
It requires the packs
* `bddem` [https://github.com/friguzzi/bddem](https://github.com/friguzzi/bddem)
* `auc` [https://github.com/friguzzi/auc](https://github.com/friguzzi/auc)
* `matrix` [https://github.com/friguzzi/matrix](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](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](https://github.com/friguzzi/cplint_datasets).
Support
-------
Use the Google group [https://groups.google.com/forum/#!forum/cplint](https://groups.google.com/forum/#!forum/cplint).