cplint is a suite of programs for reasoning with probabilistic logic programs
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
 
 
 
 
 
 
Fabrizio Riguzzi f19119bd89
Merge pull request #23 from ebellodi/master
4 years ago
cudd-3.0.0 restore to CUDD original 6 years ago
doc ADDED: Gibbs in manual 4 years ago
lib new linux lib 4 years ago
prolog ADDED: blocked Gibbs sampling 4 years ago
.gitignore typo 7 years ago
LICENSE link to license 4 years ago
Makefile.temp added installcheck target 5 years ago
README.md ref to SWI 6 years ago
bddem.c Add files via upload 4 years ago
buildenvmingw32.sh 32 and 64 bit win libraries, with prototype buildenv scripts for mingw 6 years ago
buildenvmingw64.sh 32 and 64 bit win libraries, with prototype buildenv scripts for mingw 6 years ago
configure modified configure to perform autoreconf for avoiding dependence from aclocal-1.14 6 years ago
pack.pl url for github releases 6 years ago

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 https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf or http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html

You can try it online at http://cplint.lamping.unife.it/

Installation

This is a SWI-Prolog (http://www.swi-prolog.org/) pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(cplint).

The pack uses a foreign library and contains the library binaries for 32 and 64 bits Linux and 32 and 64 bits Windows. If you want to recompile the foreign library you can use

?- pack_rebuild(cplint).

On 32 and 64 bits Linux this should work out of the box. On 32 and 64 bits Windows the library must be rebuilt by hand. First run pack_rebuild(cplint). This typically fails but produces the file buildenv.sh in the root folder. You can modify this file looking at the example files buildenvmingw32.sh and buildenvmingw64.sh. Then you can run

$ source buildenv.sh
$ source configure
$ make install

Requirements

It requires packs auc and matrix:

$ swipl
?- pack_install(auc).
?- pack_install(matrix).

Example of use

$ cd <pack>/cplint/prolog/examples
$ swipl
?- [coin].
?- prob(heads(coin),P).

Datasets

Other machine learning datasets are available in pack cplint_datasets (https://github.com/friguzzi/cplint_datasets)