https://github.com/friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
https://github.com/friguzzi/cplint
inductive-logic-programming logic-programming machine-learning probabilistic-logic-programming probabilistic-programming prolog
Last synced: about 2 months ago
JSON representation
cplint is a suite of programs for reasoning with probabilistic logic programs
- Host: GitHub
- URL: https://github.com/friguzzi/cplint
- Owner: friguzzi
- License: other
- Created: 2014-11-09T10:59:47.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2025-09-12T17:59:03.000Z (4 months ago)
- Last Synced: 2025-09-12T20:02:03.046Z (4 months ago)
- Topics: inductive-logic-programming, logic-programming, machine-learning, probabilistic-logic-programming, probabilistic-programming, prolog
- Language: Prolog
- Size: 36.9 MB
- Stars: 77
- Watchers: 11
- Forks: 15
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-prolog - cplint - Reasoning suite for probabilistic logic programs. (Machine Learning)
README
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 /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).