Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "cplint"

Title:A suite of programs for reasoning with probabilistic logic programs
Rating:Not rated. Create the first rating!
Latest version:3.1.0
SHA1 sum:fbc2bd14e3434ddb440fd53b925558f7da9e527c
Author:Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Download URL:https://github.com/friguzzi/cplint/releases/*.zip
Requires:auc
matrix

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
1.009b684266e81869d6d87b54653b0d906aa819bea1https://github.com/friguzzi/cplint.git
0b2ec92d3b58cb67b856b6639afe6efa3acf11241git://github.com/friguzzi/cplint.git
53d9487dad682763e0ef2306b6ee5188699e107f1https://github.com/friguzzi/cplint.git
5451060620fc08d0df4a3093474fcb60902f67b31git://github.com/friguzzi/cplint.git
599cabbc59f35d9517eb7a1af179ca43621179c62git://github.com/friguzzi/cplint.git
https://github.com/friguzzi/cplint.git
5ac9dcb36faa1ea5815c78b613e0d44e256fffdd1https://github.com/friguzzi/cplint.git
6642a619e4abb0e4e1e73280325f029104adedd01https://github.com/friguzzi/cplint.git
9539053b113893da18d9b21c81f0b853b91632341https://github.com/friguzzi/cplint.git
96561bdb853864891bf688c5f80904387fbc8bd71https://github.com/friguzzi/cplint.git
966d626066a01cecc115ed55b3ce431e42652c261git://github.com/friguzzi/cplint.git
9948a49cd3c33cb308f17a9c73e6ae61cdb57d8a1https://github.com/friguzzi/cplint.git
a510f76afb73fdd127c8e825209343659ed1d07d1git://github.com/friguzzi/cplint.git
2.006d00a9924ae29cbbbbb2a7ebfa3fc8a40bae19e1https://github.com/friguzzi/cplint.git
130370cb2c805be5e9b71dd9dcd17ebd62812eb21https://github.com/friguzzi/cplint.git
1b09cce5615e05572f7fd33ce7e9718623cb51d71https://github.com/friguzzi/cplint.git
22b51f6553f217e4c15ad3aa8e0dbddb4565c0e01https://github.com/friguzzi/cplint.git
24165098068ae12a1f24d2d16c162144001ac8af1https://github.com/giuseta/cplint.git
3503b1020100a662bd39881d0058291248f924b41https://github.com/friguzzi/cplint.git
46b4cf0cd9d82bb74159e154ee14949d76c9c01f2https://github.com/giuseta/cplint.git
5b20d50506899dfb6b227105d9cdaeccfc4e83611https://github.com/friguzzi/cplint.git
69d8d0261abc60bb1f3c948afd0c831f347068c01https://github.com/friguzzi/cplint.git
6cfa22d46103335b83058a86a25d717c50d64df31https://github.com/friguzzi/cplint.git
7ca54375c7004d1124c4575d4d632ed79e46f8742https://github.com/friguzzi/cplint.git
942282f9499cfd31750ea7b0a5d7a7e7a3266b772https://github.com/friguzzi/cplint.git
9a23fedf514f5c3779b129d84a91b7e4832d70131https://github.com/friguzzi/cplint.git
a190284e218eb9490788265b579d9b4240b1fbd91https://github.com/friguzzi/cplint.git
c34d74aa57cd81ae1c50297ea4eed9f80f212ce11https://github.com/friguzzi/cplint.git
ceb8cb926b0da46896459215a602dcb677ad5be71https://github.com/friguzzi/cplint.git
d0c955e65d3ced9bf82f3dfa8c91a3b153d5ecff38https://github.com/friguzzi/cplint.git
git://github.com/friguzzi/cplint.git
d0d03db4e213cc066acc16f524195e13bb3d25321https://github.com/giuseta/cplint.git
d3b8eb8ed6e2ff89042cbdc5883c1ad55290d0623https://github.com/friguzzi/cplint.git
git://github.com/friguzzi/cplint.git
db77bee6cc0ce4e9c050f5d3c6247d9086b8946d1https://github.com/friguzzi/cplint.git
f436cfb0149e700d2bc349a40859c5e3a1d164441https://github.com/friguzzi/cplint.git
3.001921d07fe23cee4a03cd567ca7d42fde10c58752https://github.com/friguzzi/cplint.git
0b15cce7fa6ac00aaddba75d815b017e1bf6c7f11https://github.com/friguzzi/cplint.git
105a633597fba1fb7ef697d4fe8d91e36b6e8a2e1https://github.com/friguzzi/cplint.git
15216569d8a479b51f40e150a8d576ac867b1c4f1https://github.com/friguzzi/cplint.git
17958f0f3e696f866d2ba395c7401353853ff7381https://github.com/friguzzi/cplint.git
17f54a12af1817ed94cff334448d4db3e21715391https://github.com/friguzzi/cplint.git
189ce1802366696290b13f54baf1dc7245f8f7d52https://github.com/friguzzi/cplint.git
18eda8033e028de8c88e240bd8befdaf33016ed61https://github.com/friguzzi/cplint.git
1c9bd276527d7af66aa1df86f782020f1e7ddbee1https://github.com/friguzzi/cplint.git
1cd6c0c7732128207392778e6a58ae9c2d52b19a1https://github.com/friguzzi/cplint.git
1d10b995748cdab960f2af67d3721011972a214b3https://github.com/friguzzi/cplint.git
2195fdd34ff87f75ba20eb43213bff0e19d9a4001https://github.com/friguzzi/cplint.git
25e141adb27bd385f771127c321fb5da800482751https://github.com/friguzzi/cplint.git
2f36c6044245b3b0338158ed5cdc85bed5eb10696https://github.com/friguzzi/cplint.git
30574197e9f752646d55a2fc5d8b8abda08a44481https://github.com/friguzzi/cplint.git
3404bea4e0b1eed937eb1cd9b002a9918ebdf4f93https://github.com/friguzzi/cplint.git
38e52ceb2d66025a2532de02af93c225fb660d8a1https://github.com/friguzzi/cplint.git
3908292844ecae64db6576d709aa6c88ba235c875https://github.com/friguzzi/cplint.git
42d4405bad74a058e80734df2300fa43931e6e311https://github.com/friguzzi/cplint.git
4a91431ce56522f9b83ef48a46b8a133a68cb5181https://github.com/friguzzi/cplint.git
4d37dfe324bcc67c44f98e9567f94857223452f23https://github.com/friguzzi/cplint.git
4f31d193a5f172fbd4bb48a7cce7fc1dc0b5e52f1https://github.com/friguzzi/cplint.git
5803cbc6d739b2c4e000a1fc7378eb4fedfabff81https://github.com/friguzzi/cplint.git
583221f84789ca58cedbd4c75719bb2f96bd2c151https://github.com/friguzzi/cplint.git
5850c8df658c7628257ec266311c34b11c10b06d2https://github.com/friguzzi/cplint.git
5e53f641297e823c1886516435b63de6379295736https://github.com/friguzzi/cplint.git
6d2c21fd778ae088a63cf75af70779141bc5b1501https://github.com/friguzzi/cplint.git
7354f37adce8fee9ef74877a7a8e3cdbc8f6092d1https://github.com/friguzzi/cplint.git
7d3574e48c9c88638a8c1f4920178199377dd4493https://github.com/friguzzi/cplint.git
870998e78655d2a54a72edc5ce354a008cb211022https://github.com/friguzzi/cplint.git
8d2d97063892fefe13cb583ecca5e9aa9fc31cfe1https://github.com/friguzzi/cplint.git
958c049dc0bb6f69ac44a08f3a61774d6fdbcc183https://github.com/friguzzi/cplint.git
96273d0fafb445893dddd723f37a51d0bb2533472https://github.com/friguzzi/cplint.git
a212a4a9d2f3d13d5b6ecc438c6703a5dcd9671f1https://github.com/friguzzi/cplint.git
a235d43178389b5fd586b95185651ac8cb6b7ae12https://github.com/friguzzi/cplint.git
a26a08f6c29414b3abe886dee19cd32856fd055f4https://github.com/friguzzi/cplint.git
a968874aa8d0a56b54c2c8516fdf8217a36708f21https://github.com/friguzzi/cplint.git
b9f1caff49efb6b228c13836d1e3d822bc46570a3https://github.com/friguzzi/cplint.git
bb16889bc9a9e5d21f94c13c0e8eb2bfe2ad6f1a2https://github.com/friguzzi/cplint.git
bf0f86e489f747f323f8974db7e6ee3444570b592https://github.com/friguzzi/cplint.git
c2f93a877acf92b70e94e6de97b227667f9bdfde1https://github.com/friguzzi/cplint.git
c4d551619e509897f12d572dacfde240788cacea1https://github.com/friguzzi/cplint.git
cc39c0b60597b447fe804ffc2a820cb350710fb52https://github.com/friguzzi/cplint.git
d240c04bf4ab8358c74aaa32ec0e13153eace4fa1https://github.com/friguzzi/cplint.git
d36631555507a9663fc1e1478258caff9f4bf7333https://github.com/friguzzi/cplint.git
daf88e7ea58a45a6e7281ebb9ca3dc6016d02cc72https://github.com/friguzzi/cplint.git
e2cc62710545a7f70713ec25c24a475ceaeec4702https://github.com/friguzzi/cplint.git
e3eda9198efab4c275a2d833c824b508680ea7801https://github.com/friguzzi/cplint.git
e62de77128f916e23d2f8ad51c25d325b81cc57f2https://github.com/friguzzi/cplint.git
ea3cbfd98afa62b8fe9f49c8516717a377f14b291https://github.com/friguzzi/cplint.git
ec857c4f3abdcc06f581e91649795e388dead2391https://github.com/friguzzi/cplint.git
ecd135ec2f0c1cc949058f972f5ddcc8d612ab7e1https://github.com/friguzzi/cplint.git
f5a7d59c13dd19d4e4c00913c0fb286d161123f61https://github.com/friguzzi/cplint.git
fa0bde658557973704b723087478c928baa909481https://github.com/friguzzi/cplint.git
fa5a12dd5157d09f875995f83e96a512b2d76c731https://github.com/friguzzi/cplint.git
fce51f49b551700b73dac10eda478cc23748f2681https://github.com/friguzzi/cplint.git
3.1.00033029f0ce2016bf2f0b1318a23bab69f28b8cc3https://github.com/friguzzi/cplint.git
01b55445b949a683f1f6318df9ca2489d84ee1e31https://github.com/friguzzi/cplint.git
06a42e85b0d57c728d0b73e7257aaac15fd65b442https://github.com/friguzzi/cplint.git
08d2ba64b17d6f5197bf4720655c36d317966b461https://github.com/friguzzi/cplint.git
0e161e01c7d20a7441159f09713aadb398e3eec81https://github.com/friguzzi/cplint.git
18b0ddf53677aaec8cab2d7ad19779a9833cd2024https://github.com/friguzzi/cplint.git
190fb6280d22b49fc6c16a969c781df723fd62992https://github.com/friguzzi/cplint.git
1e5673bfc4f65225ca1a21177b3364a0c2e893621https://github.com/friguzzi/cplint.git
20addedafbdddd1c3b3c1c55681f1adf65f2b31e1https://github.com/friguzzi/cplint.git
305ee49f3cce5fe14b6feb36751720bd4a13e8212https://github.com/friguzzi/cplint.git
3233a00c531f422f9c094546afe8308eb6aca0001https://github.com/friguzzi/cplint.git
38325d362f73af3561e6e958e9da15d3b600f8c24https://github.com/friguzzi/cplint.git
3dd8dfa0a70c009c35f2f5a56496936d9206b9321https://github.com/friguzzi/cplint.git
55f19ac47e5472a594cce1ec16d32247f46c1def2https://github.com/friguzzi/cplint.git
56022fff29fd3c4a9edfaa0cb4e9c85589a7f53417https://github.com/friguzzi/cplint/archive/v3.1.0.zip
59588086fc05baa38818ef8832a66bde7a185a206https://github.com/friguzzi/cplint.git
5b0f7d14aea8e794d6819cf21dbdbed9081a564d7https://github.com/friguzzi/cplint.git
661ed960129896bc7985bb3eb4d1d8853d39acc91https://github.com/friguzzi/cplint.git
6eb5b1a91e61e5197e27e2c267c55aa0aa6063053https://github.com/friguzzi/cplint.git
6f649f66af8a5d963dbf6f791bd88136081569463https://github.com/friguzzi/cplint.git
727c1f562809f717219f30e2d9f2fbbe44c0b4261https://github.com/friguzzi/cplint.git
7e938145a7153b66126d7232c3157c8b12dd18611https://github.com/friguzzi/cplint.git
ab1f1caca11103ca929c10e9437172d336710f929https://github.com/friguzzi/cplint.git
b50a7394ad59aa22cc7bb1b672a97289cd0ca6ff1https://github.com/friguzzi/cplint.git
b520e5feedda0841bfc0beb5228a0d50a850702f5https://github.com/friguzzi/cplint.git
b7ad25b223f19dcad2b21b08b2593af3e7a20ef22https://github.com/friguzzi/cplint.git
bb559eb8ff7c63e5772839493167debe29e19ff92https://github.com/friguzzi/cplint.git
cfea74b41af6ce3f39563b8e2aa75e8b30766dd53https://github.com/friguzzi/cplint.git
de17fd60b9c6974704bdbce052921bfba49184902https://github.com/friguzzi/cplint.git
e15b883307c2ca08de6a1a9a00da85e5299378541https://github.com/friguzzi/cplint.git
ec3210a1829750751e1ae0cd81ec9d4ec4a6e61c1https://github.com/friguzzi/cplint.git
efd20983f9737937c3328e57cc136c4771f7c23f2https://github.com/friguzzi/cplint.git
f4843ffde4730a7bcc6ae7d88fce75f57340d8071https://github.com/friguzzi/cplint.git
fbc2bd14e3434ddb440fd53b925558f7da9e527c1https://github.com/friguzzi/cplint.git

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)

Contents of pack "cplint"

Pack contains 407 files holding a total of 16.0M bytes.