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:7.0.1
SHA1 sum:9685f0a93be6257814c5c1b07e079df81b809089
Author:Riccardo Zese <zsercr@unife.it>
Download URL:https://github.com/rzese/trill/releases/*.zip
Requires:bddem

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.00dc3509a8a756e2c0a4fe38fd2f6c0b708d149031https://github.com/rzese/trill.git
40b419253d700e97e411e26b01ad1a022cb8805a5https://github.com/rzese/trill.git
572b544d6c29be34b75ebb350c15ca67bb2244553https://github.com/rzese/trill.git
5.0.0039f3078e38a9b3b8bd853d3dc3b4c1c814a24dd1https://github.com/rzese/trill.git
06c74e6d8ce56590799850c6e0b8e88a10d0acc85https://github.com/rzese/trill.git
0b7118ad0d1496a494743cdc0d50bd9689199f971https://github.com/rzese/trill.git
9c0ed46cd3c2b51bb8d907db0c9d64c70da3d45d3https://github.com/rzese/trill.git
a551640ac576b5fc1347069fd4b972f0cdbeb1d64https://github.com/rzese/trill.git
b433c7f2b9d6e09078299f9274a556bbd929012f9https://github.com/rzese/trill.git
c36c2eedeff3e3718c6eb0433f67a25cc49f4b532https://github.com/rzese/trill.git
cc2e68337dc99d0c402830b3734f1209d85b529c2https://github.com/rzese/trill.git
d04cffc74bfca19ddb78eb1b1c040e2555dbe2bf2https://github.com/rzese/trill.git
5.2.016fc6d1cdef550d25cfa0444d3b8622fd220e4731https://github.com/rzese/trill.git
984574b2b8b3d8381fabc8fa3b4aa9211ec9176a2https://github.com/rzese/trill.git
a15f8a981134a92b9e342f4b55e145afeee2ed851https://github.com/rzese/trill.git
c0431f97309b214a3bb0dba193ed5432da3e55011https://github.com/rzese/trill.git
cdb31927e4918a3035189c9fce7f90d36f2eaf597https://github.com/rzese/trill.git
cf8f0f3a3ebdf6cf4c66a21a9257186f0f6ff8af1https://github.com/rzese/trill.git
5.2.105f036920123835af0cab275365af5687eea79a72https://github.com/rzese/trill.git
17e13893cc3365cb499666b058629605268867411https://github.com/rzese/trill.git
297f9b0e1f6feab3473b2c62fab6d29b352f215f10https://github.com/rzese/trill.git
2d9a8ee5df1256a448a62c5cb7feef74bab18df21https://github.com/rzese/trill.git
3c8a6eb7909c6a4dee98d193c35f3286c18291e61https://github.com/rzese/trill.git
565e1ecf004622fe4e989c41fb10d02fe17d15431https://github.com/rzese/trill.git
5c652b0b73529abd812062e75ce0f46c8dd3b0ee4https://github.com/rzese/trill.git
62fbbd814257195d200d06d488faf70a9e9aad4b10https://github.com/rzese/trill.git
89f3dfe9e628ec591b2fd65d30d1b8107dc190f11https://github.com/rzese/trill.git
91d9256c0b79a5f05f2cba90577884e92afaaee53https://github.com/rzese/trill.git
9e580b1f498966f52821bf5d012cdc16670807f07https://github.com/rzese/trill.git
bf86d521a7f46dac884496dbcaa3c76e6bfddcb47https://github.com/rzese/trill.git
c30df64de0e795528654a00dbe7fab6ea1a84d3b9https://github.com/rzese/trill.git
c370957f686d9c5142528edefd8f348447f83ab25https://github.com/rzese/trill.git
caa23f20cc061b3a10e6d10aa325545a4a4e23bf4https://github.com/rzese/trill.git
e00c6df2bfb880162ccd7e64d6aa773dde0c16c32https://github.com/rzese/trill.git
e59ddc0a159aaa68c7293d0545885c95ecf399461https://github.com/rzese/trill.git
f0029a1a29e7456a5970ef8b46788fe4b6e96f6a1https://github.com/rzese/trill.git
fc7ecee43b56ddf35a09b4b49dd177a83fcbabab1https://github.com/rzese/trill.git
6.0.00881aceba55e2fda3f7c955dc2bd325b467adfa38https://github.com/rzese/trill.git
58ee7747ee8a5799d39a8e6c2668f5b0c2dcc3aa1https://github.com/rzese/trill.git
6.0.2145781966a4203e43c3cfe18e62435557e76429713https://github.com/rzese/trill.git
282f7244fd0b72abe3c66598b114d11129ae9bc31https://github.com/rzese/trill.git
46b1649666f7b489ae7a68484167d7f5924a63f21https://github.com/rzese/trill.git
5be5f45633ce23fb059d66b4cb2a48ba1e6653655https://github.com/rzese/trill.git
8133e162f8ae1ae05b9a116e9da2042a6bdd436b2https://github.com/rzese/trill.git
bebff11e170346b352ba892e1765315431feaae77https://github.com/rzese/trill.git
dec7e20aa5e661ca0313feea31df6cce7dc9832421https://github.com/rzese/trill.git
6.0.3d7001dfb7a9b2ac9d4f1b345a5c86a6e3eb754841https://github.com/rzese/trill.git
6.0.49e27e96e5590a325c8b89cec44b2cc2de723970b11https://github.com/rzese/trill.git
6.0.520c10f3f15b938c2932f1ebb9e24c626275e2fa11https://github.com/rzese/trill.git
220c49271cd558fafdd33a04766db8bc39c70a243https://github.com/rzese/trill.git
6.0.63d5365e2b45197a7dce3b5ad2ea6a1bb1973d71a3https://github.com/rzese/trill.git
77734fbe6e58e2c1121bc01f02e8cfb8c67f258122https://github.com/rzese/trill.git
7.0.0f54a20a9e65d4be436ca2687175bd8a5c22436132https://github.com/rzese/trill.git
7.0.19685f0a93be6257814c5c1b07e079df81b8090895https://github.com/rzese/trill.git

TRILL

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

You can find the manual at https://github.com/rzese/trill/blob/master/doc/help-trill.pdf

You can try it online at http://trill-sw.eu

Installation

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

It can be installed with pack_install/1

$ swipl
?- pack_install(trill).

Requirements

It requires the packs

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/bddem

You can upgrade the pack with

$ swipl
?- pack_upgrade(trill).

Note that the packs on which trill depends are not upgraded automatically in this case so they need to be upgraded manually.

Example of use

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

Testing the installation

$ swipl
?- [library(trill_test/test)].
?- test.

Support

Use the Google group https://groups.google.com/forum/#!forum/trill-system

Contents of pack "trill"

Pack contains 52 files holding a total of 2.1M bytes.