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/doc/manual.pdf](http://friguzzi.github.io/cplint/doc/manual.pdf) or [http://friguzzi.github.io/cplint/doc/manual.html](http://friguzzi.github.io/cplint/doc/manual.html).

You can try it online at [http://cplint.eu](http://cplint.eu).

Installation
------------
This is an [SWI-Prolog](http://www.swi-prolog.org/) pack.

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 and 64 bits Windows. If you want to recompile the foreign library you can use

    ?- pack_rebuild(bdeem).

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/matrix](https://github.com/friguzzi/matrix).

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).