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

Package "trill"

Title:A tableau probabilistic reasoner in three different versions
Rating:Not rated. Create the first rating!
Latest version:4.1.0
SHA1 sum:40b419253d700e97e411e26b01ad1a022cb8805a
Author:Riccardo Zese <zsercr@unife.it>

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
1.00763b0412f34faf9f440308ac3727e0a47ff47d79https://github.com/rzese/trill.git
07ae4947d1619af12e5c93248244c0965dbd857b1https://github.com/rzese/trill.git
09126b9aac8215b2ccb687859059e46cfd2c94371https://github.com/rzese/trill.git
09973ff99456106cab178933000327d2934c13d01https://github.com/rzese/trill.git
0b5ba81a2020727e255ca74fcfb76e346a15dacb1https://github.com/rzese/trill.git
0d80c9aa7571a65062a027b8054a019e47005b501https://github.com/rzese/trill.git
0f560896db8536e3ee0769b0c96ac9003682e9dc1https://github.com/rzese/trill.git
1822f28cedbe208f906f3fa17528a9875d0507e11https://github.com/rzese/trill.git
195125dd68def9ccf3d60c2771e7756e0ee22a6b1https://github.com/rzese/trill.git
197071c7607a2d44b081cd84a32e48ed46e69cc11https://github.com/rzese/trill.git
1e70f3f8fe15df029a0919a0ce6415a4bb904f3f2https://github.com/rzese/trill.git
24ca2540287b8f7e1796b21e078f149a8304f6d21https://github.com/rzese/trill.git
24f72737a5637871a54f9276fd3c9e40824f84f41https://github.com/rzese/trill.git
2c720ee73cfe9121beb461cf41f8f015c9854cb31https://github.com/rzese/trill.git
2fdecc8af78c4ec34264ad8104d16457919de27f1https://github.com/rzese/trill.git
34350d339e2fb7a6d7ebc73aec7d656e2362441d2https://github.com/rzese/trill.git
364afdb144155b86514dd5a7343ddcc035a3f03f4https://github.com/rzese/trill.git
3fb6999bff89a4e7161de68525fd7fa608648d511https://github.com/rzese/trill.git
40a8267350bd5897cf8fc64c06a4787bcfb40f2d1https://github.com/rzese/trill.git
4a6cf54c4b25eadb8b2888e79c02f0077f879baa1https://github.com/rzese/trill.git
4d0ece671028daec59f1bbd1188b93e9065f56ac3https://github.com/rzese/trill.git
60e57fcb4a51e89c500ca20cf9c7305bda678bf91https://github.com/rzese/trill.git
6635caf2aa4f149cb64d0d2585cc5c84507d02731https://github.com/rzese/trill.git
6dda6ac4234e7e5ea5e5034704b416e52967c0891https://github.com/rzese/trill.git
71de5f1fa9d311cba6ba523cd83b2690aff06b471https://github.com/rzese/trill.git
76dc086bb116979ed3db1e65b6e3e1e2f81254b91https://github.com/rzese/trill.git
781ac05aa0486727d77ba2bda0026d8c0259aa3f1https://github.com/rzese/trill.git
78eb943ce3bd24cb1178df17a8257a13ecccde521https://github.com/rzese/trill.git
876bffa65a95c6126bed5e4648b55e3ed9d03ed91https://github.com/rzese/trill.git
8a3a9433acd188c5501f069ac78f217b357e24e13https://github.com/rzese/trill.git
99a21cd25bb7e0fa0cf6a933ead49e56bd91491c1https://github.com/rzese/trill.git
a2404e29cf69d8925129ed3bf2c206276021e36c1https://github.com/rzese/trill.git
a2cedb0e989220590547e73b54bd1ba7e402a5b42https://github.com/rzese/trill.git
a49545ea0519ebf66cc3165353c6b72a11df46571https://github.com/rzese/trill.git
af120eece06d62bfb4ec95bb6e294856dbe883671https://github.com/rzese/trill.git
b17b8ccf58a351bf1d090c48b878e8ec9d6b13ed1https://github.com/rzese/trill.git
b895364b4a74aff36778835d1bb25ea6cf3ef27e1https://github.com/rzese/trill.git
ba079d88811273263d18790ecb17da1e915d45471https://github.com/rzese/trill.git
baabca3fbaae287a6f6df7eae1cf040342ef563b1https://github.com/rzese/trill.git
bb9999eff67822f3da58db8cfbc837a3612f93de1https://github.com/rzese/trill.git
c2e425a435c3bc8648d71d01f1ac8816a422b5c41https://github.com/rzese/trill.git
c52eaa18f124a7153c66d53bd3f5c855e5983b131https://github.com/rzese/trill.git
c85383ae34878f6fc11bcc457d43244e551e472e2https://github.com/rzese/trill.git
ceae21ccda9cbcdf800a2fb90bc3799522729b081https://github.com/rzese/trill.git
cecdfd181bd2ca26e3c3f3568f4aeef2e32c6d743https://github.com/rzese/trill.git
d685bf33ac506849b93adeaee0e7e7686751625e1https://github.com/rzese/trill.git
df996f01bf3bce96278ca230f5a6a88b792710b52https://github.com/rzese/trill.git
e1564bb68cd2091f80e98aaabb8b6ac5aca233af1https://github.com/rzese/trill.git
e4498e5b01c9f2211181ea20d890f78e9bd80aef1https://github.com/rzese/trill.git
e52bf4372ac671c1ce922e8019138daf4da8ff633https://github.com/rzese/trill.git
ed27a5b7c0c2618ce9319bf3b2ad62ca90c4cffd1https://github.com/rzese/trill.git
f6d4ef294a1665c5524a93eea34c0ed07b7c5ae81https://github.com/rzese/trill.git
2.008315230880097cea4f4a39b5dc77d1c45eea2dc3https://github.com/rzese/trill.git
10947bf1557f708a004389af4dd6886a152901891https://github.com/rzese/trill.git
4593afc3f5ad0740c18fd411752bd13818ba64651https://github.com/rzese/trill.git
569451ad4d1f96a7af0ede546dd99c47d53a5bc61https://github.com/rzese/trill.git
7220efa9912733ec3b868e250480519c2a1a70ba2https://github.com/rzese/trill.git
8e3d82ec99c777b18059566537d6b91836ff1ff92https://github.com/rzese/trill.git
922c7b93809731e4d6e6ede034aa307b3734581d1https://github.com/rzese/trill.git
9fba31d776189279b689896a2b4df1c8a0644b801https://github.com/rzese/trill.git
e3534684913bc69dfeaf583e1b71bc6500380e3b2https://github.com/rzese/trill.git
f9d7bcd7899a8aa961cc3c0661ad2c21bd716d9e3https://github.com/rzese/trill.git
3.032b5f630932b2071c036793f3b965575385e34582https://github.com/rzese/trill.git
f2821291700317cd32227444f1ffb4fcd7e803231https://github.com/rzese/trill.git
3.1.00008669333e657a22bbf437d9e09b759d4f38ba21https://github.com/rzese/trill.git
195fe4b5e8e142c61d933de4473c14d9976f90fa2https://github.com/rzese/trill.git
403e3adb33b2a0c19991096b4fbde2c7dc17638f1https://github.com/rzese/trill.git
6d4f8aaa42735cb1357c9dc321ec91c7b6ea4a0f3https://github.com/rzese/trill.git
c5e565db239a86e74188353f2672d95531e082341https://github.com/rzese/trill.git
d478ca7a7235d9b25f36c2df6fd5bd007fe9e9341https://github.com/rzese/trill.git
e68d11ef6f3d025da2242fe1c8e4edf40696c3b41https://github.com/rzese/trill.git
ea4d7de8eca486034e6f172e18fbf04ffa48d7991https://github.com/rzese/trill.git
f18dd51a9283ce9207c092f2e8228bd56f6fdbb22https://github.com/rzese/trill.git
4.1.040b419253d700e97e411e26b01ad1a022cb8805a3https://github.com/rzese/trill.git

TRILL

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

You can try it online at http://trill.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(trill).

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

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

Example of use

$ cd <pack>/trill/prolog/examples
$ swipl
?- [peoplePets].
?- prob_instanceOf('natureLover','Kevin',Prob).

Contents of pack "trill"

Pack contains 293 files holding a total of 11.0M bytes.