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:4.5.0
SHA1 sum:ff894f10a938c3aba3640aa672dfd0f891153312
Author:Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Download URL:https://github.com/friguzzi/cplint/releases/*.zip
Requires:auc
bddem
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.00033029f0ce2016bf2f0b1318a23bab69f28b8cc14https://github.com/friguzzi/cplint.git
01b55445b949a683f1f6318df9ca2489d84ee1e31https://github.com/friguzzi/cplint.git
06a42e85b0d57c728d0b73e7257aaac15fd65b442https://github.com/friguzzi/cplint.git
08d2ba64b17d6f5197bf4720655c36d317966b461https://github.com/friguzzi/cplint.git
0c287b713589efc660f5b66b69438f757eda3ab61https://github.com/friguzzi/cplint.git
0e161e01c7d20a7441159f09713aadb398e3eec81https://github.com/friguzzi/cplint.git
18b0ddf53677aaec8cab2d7ad19779a9833cd2024https://github.com/friguzzi/cplint.git
190fb6280d22b49fc6c16a969c781df723fd62992https://github.com/friguzzi/cplint.git
1daa48f9443712bee04f5a8c387ac987a12c890d11https://github.com/friguzzi/cplint.git
1e5673bfc4f65225ca1a21177b3364a0c2e893621https://github.com/friguzzi/cplint.git
20addedafbdddd1c3b3c1c55681f1adf65f2b31e1https://github.com/friguzzi/cplint.git
305ee49f3cce5fe14b6feb36751720bd4a13e8212https://github.com/friguzzi/cplint.git
308ed84e476314e1d31dd8ee551ca3a5b8b44fc73https://github.com/friguzzi/cplint.git
3233a00c531f422f9c094546afe8308eb6aca0001https://github.com/friguzzi/cplint.git
38325d362f73af3561e6e958e9da15d3b600f8c24https://github.com/friguzzi/cplint.git
3dd8dfa0a70c009c35f2f5a56496936d9206b9321https://github.com/friguzzi/cplint.git
425ab7cd20ed60974bb80f5a5c54a4773a16d8ff1https://github.com/friguzzi/cplint.git
4ca2eeaa62d47ae9ddc957f2dea55c0c96b10c7a1https://github.com/friguzzi/cplint.git
55f19ac47e5472a594cce1ec16d32247f46c1def2https://github.com/friguzzi/cplint.git
56022fff29fd3c4a9edfaa0cb4e9c85589a7f53446https://github.com/friguzzi/cplint/archive/v3.1.0.zip
59588086fc05baa38818ef8832a66bde7a185a206https://github.com/friguzzi/cplint.git
5b0f7d14aea8e794d6819cf21dbdbed9081a564d7https://github.com/friguzzi/cplint.git
5d4b762c75dad5ce5097bf6865d2daa89db44f551https://github.com/friguzzi/cplint.git
5eca8e7f3a154b2823f62ca1103e3d71a6f12a1121https://github.com/friguzzi/cplint.git
661ed960129896bc7985bb3eb4d1d8853d39acc91https://github.com/friguzzi/cplint.git
69cfc2fa68451bfea19cc6270f151e68884421e13https://github.com/friguzzi/cplint.git
6eb5b1a91e61e5197e27e2c267c55aa0aa6063053https://github.com/friguzzi/cplint.git
6f649f66af8a5d963dbf6f791bd88136081569463https://github.com/friguzzi/cplint.git
727c1f562809f717219f30e2d9f2fbbe44c0b4261https://github.com/friguzzi/cplint.git
7b89aa42361e63fe4589eb4686dd3bae2782e3f21https://github.com/friguzzi/cplint.git
7e938145a7153b66126d7232c3157c8b12dd18611https://github.com/friguzzi/cplint.git
86d4fc125c1dc8c6cd27b7a7893dfef270f43bf17https://github.com/friguzzi/cplint.git
99719a81f4076fff91566a5d2554bcff7e19d9692https://github.com/friguzzi/cplint.git
9e6fd11431fbe199b6e983a1c7cc4daba9ea8d9a1https://github.com/friguzzi/cplint.git
a375f3a8e3c7e3e5bb946e361b8ea052ae355f2b1https://github.com/friguzzi/cplint.git
a4f6b72044b9089c556efd934b9b4e32e59aa1981https://github.com/friguzzi/cplint.git
aa65818e5d0e5626df8029e3d05df2334fd8ebb115https://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
babdd8e9722f6fee0b1f3d3e8bf85bb2696838ce2https://github.com/friguzzi/cplint.git
bb559eb8ff7c63e5772839493167debe29e19ff92https://github.com/friguzzi/cplint.git
cfea74b41af6ce3f39563b8e2aa75e8b30766dd53https://github.com/friguzzi/cplint.git
d0fc5a904c8df9bc497293207322932d030189053https://github.com/friguzzi/cplint.git
de17fd60b9c6974704bdbce052921bfba49184902https://github.com/friguzzi/cplint.git
e15b883307c2ca08de6a1a9a00da85e5299378541https://github.com/friguzzi/cplint.git
e816f2c1d9467c695e432bce6b661d608a78dd4214https://github.com/friguzzi/cplint.git
ec3210a1829750751e1ae0cd81ec9d4ec4a6e61c1https://github.com/friguzzi/cplint.git
efd20983f9737937c3328e57cc136c4771f7c23f2https://github.com/friguzzi/cplint.git
f19119bd89bdb7bea51c2bfa2dbd79f2eb34660b4https://github.com/friguzzi/cplint.git
f4843ffde4730a7bcc6ae7d88fce75f57340d8071https://github.com/friguzzi/cplint.git
f90fa2cbdb2de0588c3ac4d719a06cdf4d87a2366https://github.com/friguzzi/cplint.git
fbc2bd14e3434ddb440fd53b925558f7da9e527c1https://github.com/friguzzi/cplint.git
4.0.018a767d40d20b1eb06e30586c95a1d5d88af7eb61https://github.com/friguzzi/cplint.git
868b90ba3765d37c590682448d7ae428b2880c9d4https://github.com/friguzzi/cplint/archive/v4.0.0.zip
97f2efa4aa1b57deb4e93234c9df6314c3d42f7d1https://github.com/friguzzi/cplint.git
4.1.03b6b1f75be2d689172642016d4ac7b18a30788101https://github.com/friguzzi/cplint.git
3fcf1f26d442490a319b3a210ee808cad2684d5d1https://github.com/friguzzi/cplint.git
5df54effb837f4b0d8f2ed357eef15fbe2af95f31https://github.com/friguzzi/cplint/archive/v4.1.0.zip
4.5.000160ec4a06ad6fc5700b290ebd79a93972d6f163https://github.com/friguzzi/cplint.git
077a951b866a7433236cfa0ef622a3b936fd57a61https://github.com/friguzzi/cplint.git
0867686e2c54866d41c5d6e104549b56db9c62d22https://github.com/friguzzi/cplint.git
0903145f0e22cd310dd89562494f8e1538084e671https://github.com/friguzzi/cplint.git
0925ecedac142e9a9c2fd351cd21e6e7abbbd42b10https://github.com/friguzzi/cplint.git
0ea5b3ebc5a69fdba429cdb38b6f689d823fb4934https://github.com/friguzzi/cplint.git
2073d9935ac1bfbdc1e3297d33924d768c665b5a7https://github.com/friguzzi/cplint.git
21472bb07a46f2a93cac3f9f416db2f71b11953119https://github.com/friguzzi/cplint.git
25308d27ea995e97d144ca27a24d9b84da5ad2289https://github.com/friguzzi/cplint.git
2b799da45b0dd385e599ee643d45fcfac1bf85c615https://github.com/friguzzi/cplint.git
2e84045c9b46cdbfcf218ea1d852220d895f13fd26https://github.com/friguzzi/cplint.git
33f5e6a74aed3b630be7662c6cb4e972824e1a3d1https://github.com/friguzzi/cplint.git
37cb9f5b7fdae874e9b454a45584b94058676f9e51https://github.com/friguzzi/cplint.git
38a2490bc7fbc9ae272ce603d16840e38ddf03b41https://github.com/friguzzi/cplint.git
4388d7cdd5351e5f06d2f026a933ba1b455211cb1https://github.com/friguzzi/cplint.git
4f04f359a9d1b7b95c58e3ef82896b9a9bd9a7df24https://github.com/friguzzi/cplint.git
5026430fa852204ea0d464d2e42fc9316e29753d22https://github.com/friguzzi/cplint.git
54a5e49ee575319d433ec87a6e5d27390bfced702https://github.com/friguzzi/cplint.git
54f49c30ccfb36e7b866fabd673ebf2c3eaf11c71https://github.com/friguzzi/cplint.git
569e224034191de191de4e6406897aa2de9e7d381https://github.com/friguzzi/cplint.git
5a60f454dc9df3a4f87c843fb7dd082656de6c7f1https://github.com/friguzzi/cplint.git
5fa2d56991729b8d37b6ea9c7c2ca9184462b32f2https://github.com/friguzzi/cplint.git
6221220a87f9ba260bfbd9b9a47d9bd8977f5e584https://github.com/friguzzi/cplint.git
637de518388a7f467d43bc5df7fc650201999fc612https://github.com/friguzzi/cplint.git
667a94096524ba38c3580211072e1c4778dd94549https://github.com/friguzzi/cplint.git
685aa7ecb50e36e05791f522e3af6a533ad999f81https://github.com/friguzzi/cplint.git
68d041fd5d49e88de6bfa33cdc9e9f5c8ff4baf655https://github.com/friguzzi/cplint.git
6e7de27bf7857507aa62a50a7f8c216db38856892https://github.com/friguzzi/cplint.git
6f228b44ad796df1664ee0f9fdf40b248b39255d4https://github.com/friguzzi/cplint.git
759c4b9b74b4b1f4b95299cadb085c522d9b0f551https://github.com/friguzzi/cplint.git
78780d0d835aa2eb08a0b533b9f0c7c2edbd02ca3https://github.com/friguzzi/cplint.git
804265fc5156b3d6ab8c6e14c3484c7991e841d743https://github.com/friguzzi/cplint.git
81fd369160acd0dc086eb1c7ff8441b027f01a927https://github.com/friguzzi/cplint.git
82fd091057af24388ea8b95e0a60b1336a98c7848https://github.com/friguzzi/cplint.git
84470715198346e8c78beac5527776cf9db2293e2https://github.com/friguzzi/cplint.git
8808f420f067f81b4d073cac67607a8de00d52538https://github.com/friguzzi/cplint.git
8fea36bca305c6514b73478703a645d7f08ab2882https://github.com/friguzzi/cplint.git
95a045d5d768b5f81fdf4c367e6599d1a50e15bb5https://github.com/friguzzi/cplint.git
9bc5f5589c4831dba4e83cd50a0eae920835bed732https://github.com/friguzzi/cplint.git
a0d6cc126961195a416c94f0575601edbe0f441f1https://github.com/friguzzi/cplint.git
a6ef290eee588d129126cee647f205a60ed8346b2https://github.com/friguzzi/cplint.git
a9f384afb22d00055c4d78c84541b493ec4462071https://github.com/friguzzi/cplint.git
ac13bc1e1a4dfbece67a10fa9f30c990828cd4393https://github.com/friguzzi/cplint.git
acdef34e38bb1d883c2cfad9f9fbd4f5e5ff9fcf7https://github.com/friguzzi/cplint.git
afd52cad7b1a49120534d46a21d9c9f48c106e621https://github.com/friguzzi/cplint.git
b1fd8b08316555c26f6ed43a7c4085634c31149f1https://github.com/friguzzi/cplint.git
b4497e8fb1bd1c03805b87db5f75682464e7de8c47https://github.com/friguzzi/cplint.git
b789aa5aaffc535ffa851073992790d19f79fe9629https://github.com/friguzzi/cplint.git
ba903d819dbf1d6eddf5b19b6a46b748cb00b60c10https://github.com/friguzzi/cplint.git
bab7dda7ca910a000965f5a30ec0b5111b2520d037https://github.com/friguzzi/cplint.git
bd26061ecf75675511f9a7a0ca8b128ce1b2a2638https://github.com/friguzzi/cplint.git
c6538feaa0c87df30b8cc8d3190b480df5a89e116https://github.com/friguzzi/cplint.git
c8eb5edb55ad064f288e9900594ed3e334c26f531https://github.com/friguzzi/cplint.git
ca6169641be6429f2910f6e482eab034c9712d183https://github.com/friguzzi/cplint.git
cf44466441664077e4bca7aad536fbb7ab1ebbd36https://github.com/friguzzi/cplint.git
d51fa0329d0bd7d6a18860c08d5b19967c25b3ce4https://github.com/friguzzi/cplint.git
d9322247fc53292ba7b9ae303c161f931a0b1d498https://github.com/friguzzi/cplint.git
dada37eff8e6de398b96804439f8f179b16afcb13https://github.com/friguzzi/cplint.git
dd6b96d800921b812451565c07d28d006bd112411https://github.com/friguzzi/cplint.git
e60ddf578c0b5c115a3c0f3747df1eacbb1de2ae15https://github.com/friguzzi/cplint.git
eb85c930c1912a479fa2500ac88d0e2e75c43b524https://github.com/friguzzi/cplint.git
ee5d04694dac91bb5317fec56998612a946ceb683https://github.com/friguzzi/cplint.git
f0037874ed6a0907acb556a25fc59fb7cac9035f4https://github.com/friguzzi/cplint.git
f0170acb6974875378dde0456625b5952d6157bd1https://github.com/friguzzi/cplint.git
fb74c8ff335ed246819fb7a35974dbe521ef26bd1https://github.com/friguzzi/cplint.git
fe60804fd63e3ac41804e1d8e618415144c61fd311https://github.com/friguzzi/cplint.git
ff894f10a938c3aba3640aa672dfd0f8911533122https://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 http://friguzzi.github.io/cplint/.

You can try it online at http://cplint.eu.

Installation

This is an SWI-Prolog pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(cplint).

Requirements

It requires the packs

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.

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.

Support

Use the Google group https://groups.google.com/forum/#!forum/cplint.

Contents of pack "cplint"

Pack contains 337 files holding a total of 5.3M bytes.