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

Version	SHA1	#Downloads	URL
7.0.1	9685f0a93be6257814c5c1b07e079df81b809089	6	https://github.com/rzese/trill.git
7.0.0	f54a20a9e65d4be436ca2687175bd8a5c2243613	2	https://github.com/rzese/trill.git
6.0.6	77734fbe6e58e2c1121bc01f02e8cfb8c67f2581	22	https://github.com/rzese/trill.git
	3d5365e2b45197a7dce3b5ad2ea6a1bb1973d71a	3	https://github.com/rzese/trill.git
6.0.5	20c10f3f15b938c2932f1ebb9e24c626275e2fa1	1	https://github.com/rzese/trill.git
	220c49271cd558fafdd33a04766db8bc39c70a24	3	https://github.com/rzese/trill.git
6.0.4	9e27e96e5590a325c8b89cec44b2cc2de723970b	11	https://github.com/rzese/trill.git
6.0.3	d7001dfb7a9b2ac9d4f1b345a5c86a6e3eb75484	1	https://github.com/rzese/trill.git
6.0.2	46b1649666f7b489ae7a68484167d7f5924a63f2	1	https://github.com/rzese/trill.git
	8133e162f8ae1ae05b9a116e9da2042a6bdd436b	2	https://github.com/rzese/trill.git
	dec7e20aa5e661ca0313feea31df6cce7dc98324	21	https://github.com/rzese/trill.git
	bebff11e170346b352ba892e1765315431feaae7	7	https://github.com/rzese/trill.git
	282f7244fd0b72abe3c66598b114d11129ae9bc3	1	https://github.com/rzese/trill.git
	5be5f45633ce23fb059d66b4cb2a48ba1e665365	5	https://github.com/rzese/trill.git
	145781966a4203e43c3cfe18e62435557e764297	13	https://github.com/rzese/trill.git
6.0.0	0881aceba55e2fda3f7c955dc2bd325b467adfa3	8	https://github.com/rzese/trill.git
	58ee7747ee8a5799d39a8e6c2668f5b0c2dcc3aa	1	https://github.com/rzese/trill.git
5.2.1	05f036920123835af0cab275365af5687eea79a7	2	https://github.com/rzese/trill.git
	17e13893cc3365cb499666b05862960526886741	1	https://github.com/rzese/trill.git
	caa23f20cc061b3a10e6d10aa325545a4a4e23bf	4	https://github.com/rzese/trill.git
	62fbbd814257195d200d06d488faf70a9e9aad4b	10	https://github.com/rzese/trill.git
	91d9256c0b79a5f05f2cba90577884e92afaaee5	3	https://github.com/rzese/trill.git
	5c652b0b73529abd812062e75ce0f46c8dd3b0ee	4	https://github.com/rzese/trill.git
	f0029a1a29e7456a5970ef8b46788fe4b6e96f6a	1	https://github.com/rzese/trill.git
	e00c6df2bfb880162ccd7e64d6aa773dde0c16c3	2	https://github.com/rzese/trill.git
	9e580b1f498966f52821bf5d012cdc16670807f0	7	https://github.com/rzese/trill.git
	e59ddc0a159aaa68c7293d0545885c95ecf39946	1	https://github.com/rzese/trill.git
	bf86d521a7f46dac884496dbcaa3c76e6bfddcb4	7	https://github.com/rzese/trill.git
	89f3dfe9e628ec591b2fd65d30d1b8107dc190f1	1	https://github.com/rzese/trill.git
	565e1ecf004622fe4e989c41fb10d02fe17d1543	1	https://github.com/rzese/trill.git
	3c8a6eb7909c6a4dee98d193c35f3286c18291e6	1	https://github.com/rzese/trill.git
	c370957f686d9c5142528edefd8f348447f83ab2	5	https://github.com/rzese/trill.git
	2d9a8ee5df1256a448a62c5cb7feef74bab18df2	1	https://github.com/rzese/trill.git
	fc7ecee43b56ddf35a09b4b49dd177a83fcbabab	1	https://github.com/rzese/trill.git
	297f9b0e1f6feab3473b2c62fab6d29b352f215f	10	https://github.com/rzese/trill.git
	c30df64de0e795528654a00dbe7fab6ea1a84d3b	9	https://github.com/rzese/trill.git
5.2.0	16fc6d1cdef550d25cfa0444d3b8622fd220e473	1	https://github.com/rzese/trill.git
	cf8f0f3a3ebdf6cf4c66a21a9257186f0f6ff8af	1	https://github.com/rzese/trill.git
	cdb31927e4918a3035189c9fce7f90d36f2eaf59	7	https://github.com/rzese/trill.git
	a15f8a981134a92b9e342f4b55e145afeee2ed85	1	https://github.com/rzese/trill.git
	c0431f97309b214a3bb0dba193ed5432da3e5501	1	https://github.com/rzese/trill.git
	984574b2b8b3d8381fabc8fa3b4aa9211ec9176a	2	https://github.com/rzese/trill.git
5.0.0	cc2e68337dc99d0c402830b3734f1209d85b529c	2	https://github.com/rzese/trill.git
	a551640ac576b5fc1347069fd4b972f0cdbeb1d6	4	https://github.com/rzese/trill.git
	b433c7f2b9d6e09078299f9274a556bbd929012f	9	https://github.com/rzese/trill.git
	06c74e6d8ce56590799850c6e0b8e88a10d0acc8	5	https://github.com/rzese/trill.git
	9c0ed46cd3c2b51bb8d907db0c9d64c70da3d45d	3	https://github.com/rzese/trill.git
	039f3078e38a9b3b8bd853d3dc3b4c1c814a24dd	1	https://github.com/rzese/trill.git
	0b7118ad0d1496a494743cdc0d50bd9689199f97	1	https://github.com/rzese/trill.git
	c36c2eedeff3e3718c6eb0433f67a25cc49f4b53	2	https://github.com/rzese/trill.git
	d04cffc74bfca19ddb78eb1b1c040e2555dbe2bf	2	https://github.com/rzese/trill.git
4.1.0	40b419253d700e97e411e26b01ad1a022cb8805a	5	https://github.com/rzese/trill.git
	0dc3509a8a756e2c0a4fe38fd2f6c0b708d14903	1	https://github.com/rzese/trill.git
	572b544d6c29be34b75ebb350c15ca67bb224455	3	https://github.com/rzese/trill.git
3.1.0	e68d11ef6f3d025da2242fe1c8e4edf40696c3b4	1	https://github.com/rzese/trill.git
	195fe4b5e8e142c61d933de4473c14d9976f90fa	2	https://github.com/rzese/trill.git
	403e3adb33b2a0c19991096b4fbde2c7dc17638f	1	https://github.com/rzese/trill.git
	d478ca7a7235d9b25f36c2df6fd5bd007fe9e934	1	https://github.com/rzese/trill.git
	f18dd51a9283ce9207c092f2e8228bd56f6fdbb2	2	https://github.com/rzese/trill.git
	ea4d7de8eca486034e6f172e18fbf04ffa48d799	1	https://github.com/rzese/trill.git
	0008669333e657a22bbf437d9e09b759d4f38ba2	1	https://github.com/rzese/trill.git
	c5e565db239a86e74188353f2672d95531e08234	1	https://github.com/rzese/trill.git
	6d4f8aaa42735cb1357c9dc321ec91c7b6ea4a0f	3	https://github.com/rzese/trill.git
3.0	f2821291700317cd32227444f1ffb4fcd7e80323	1	https://github.com/rzese/trill.git
	32b5f630932b2071c036793f3b965575385e3458	2	https://github.com/rzese/trill.git
2.0	e3534684913bc69dfeaf583e1b71bc6500380e3b	2	https://github.com/rzese/trill.git
	9fba31d776189279b689896a2b4df1c8a0644b80	1	https://github.com/rzese/trill.git
	569451ad4d1f96a7af0ede546dd99c47d53a5bc6	1	https://github.com/rzese/trill.git
	4593afc3f5ad0740c18fd411752bd13818ba6465	1	https://github.com/rzese/trill.git
	8e3d82ec99c777b18059566537d6b91836ff1ff9	2	https://github.com/rzese/trill.git
	922c7b93809731e4d6e6ede034aa307b3734581d	1	https://github.com/rzese/trill.git
	10947bf1557f708a004389af4dd6886a15290189	1	https://github.com/rzese/trill.git
	08315230880097cea4f4a39b5dc77d1c45eea2dc	3	https://github.com/rzese/trill.git
	7220efa9912733ec3b868e250480519c2a1a70ba	2	https://github.com/rzese/trill.git
	f9d7bcd7899a8aa961cc3c0661ad2c21bd716d9e	3	https://github.com/rzese/trill.git
1.0	781ac05aa0486727d77ba2bda0026d8c0259aa3f	1	https://github.com/rzese/trill.git
	197071c7607a2d44b081cd84a32e48ed46e69cc1	1	https://github.com/rzese/trill.git
	2c720ee73cfe9121beb461cf41f8f015c9854cb3	1	https://github.com/rzese/trill.git
	b895364b4a74aff36778835d1bb25ea6cf3ef27e	1	https://github.com/rzese/trill.git
	4a6cf54c4b25eadb8b2888e79c02f0077f879baa	1	https://github.com/rzese/trill.git
	0f560896db8536e3ee0769b0c96ac9003682e9dc	1	https://github.com/rzese/trill.git
	baabca3fbaae287a6f6df7eae1cf040342ef563b	1	https://github.com/rzese/trill.git
	b17b8ccf58a351bf1d090c48b878e8ec9d6b13ed	1	https://github.com/rzese/trill.git
	ba079d88811273263d18790ecb17da1e915d4547	1	https://github.com/rzese/trill.git
	0763b0412f34faf9f440308ac3727e0a47ff47d7	9	https://github.com/rzese/trill.git
	2fdecc8af78c4ec34264ad8104d16457919de27f	1	https://github.com/rzese/trill.git
	e1564bb68cd2091f80e98aaabb8b6ac5aca233af	1	https://github.com/rzese/trill.git
	876bffa65a95c6126bed5e4648b55e3ed9d03ed9	1	https://github.com/rzese/trill.git
	0d80c9aa7571a65062a027b8054a019e47005b50	1	https://github.com/rzese/trill.git
	40a8267350bd5897cf8fc64c06a4787bcfb40f2d	1	https://github.com/rzese/trill.git
	1822f28cedbe208f906f3fa17528a9875d0507e1	1	https://github.com/rzese/trill.git
	ceae21ccda9cbcdf800a2fb90bc3799522729b08	1	https://github.com/rzese/trill.git
	34350d339e2fb7a6d7ebc73aec7d656e2362441d	2	https://github.com/rzese/trill.git
	8a3a9433acd188c5501f069ac78f217b357e24e1	3	https://github.com/rzese/trill.git
	24ca2540287b8f7e1796b21e078f149a8304f6d2	1	https://github.com/rzese/trill.git
	78eb943ce3bd24cb1178df17a8257a13ecccde52	1	https://github.com/rzese/trill.git
	6dda6ac4234e7e5ea5e5034704b416e52967c089	1	https://github.com/rzese/trill.git
	76dc086bb116979ed3db1e65b6e3e1e2f81254b9	1	https://github.com/rzese/trill.git
	a2cedb0e989220590547e73b54bd1ba7e402a5b4	2	https://github.com/rzese/trill.git
	c85383ae34878f6fc11bcc457d43244e551e472e	2	https://github.com/rzese/trill.git
	cecdfd181bd2ca26e3c3f3568f4aeef2e32c6d74	3	https://github.com/rzese/trill.git
	f6d4ef294a1665c5524a93eea34c0ed07b7c5ae8	1	https://github.com/rzese/trill.git
	99a21cd25bb7e0fa0cf6a933ead49e56bd91491c	1	https://github.com/rzese/trill.git
	4d0ece671028daec59f1bbd1188b93e9065f56ac	3	https://github.com/rzese/trill.git
	60e57fcb4a51e89c500ca20cf9c7305bda678bf9	1	https://github.com/rzese/trill.git
	c2e425a435c3bc8648d71d01f1ac8816a422b5c4	1	https://github.com/rzese/trill.git
	a2404e29cf69d8925129ed3bf2c206276021e36c	1	https://github.com/rzese/trill.git
	09126b9aac8215b2ccb687859059e46cfd2c9437	1	https://github.com/rzese/trill.git
	d685bf33ac506849b93adeaee0e7e7686751625e	1	https://github.com/rzese/trill.git
	e52bf4372ac671c1ce922e8019138daf4da8ff63	3	https://github.com/rzese/trill.git
	07ae4947d1619af12e5c93248244c0965dbd857b	1	https://github.com/rzese/trill.git
	195125dd68def9ccf3d60c2771e7756e0ee22a6b	1	https://github.com/rzese/trill.git
	ed27a5b7c0c2618ce9319bf3b2ad62ca90c4cffd	1	https://github.com/rzese/trill.git
	bb9999eff67822f3da58db8cfbc837a3612f93de	1	https://github.com/rzese/trill.git
	71de5f1fa9d311cba6ba523cd83b2690aff06b47	1	https://github.com/rzese/trill.git
	364afdb144155b86514dd5a7343ddcc035a3f03f	4	https://github.com/rzese/trill.git
	0b5ba81a2020727e255ca74fcfb76e346a15dacb	1	https://github.com/rzese/trill.git
	e4498e5b01c9f2211181ea20d890f78e9bd80aef	1	https://github.com/rzese/trill.git
	1e70f3f8fe15df029a0919a0ce6415a4bb904f3f	2	https://github.com/rzese/trill.git
	af120eece06d62bfb4ec95bb6e294856dbe88367	1	https://github.com/rzese/trill.git
	24f72737a5637871a54f9276fd3c9e40824f84f4	1	https://github.com/rzese/trill.git
	6635caf2aa4f149cb64d0d2585cc5c84507d0273	1	https://github.com/rzese/trill.git
	df996f01bf3bce96278ca230f5a6a88b792710b5	2	https://github.com/rzese/trill.git
	a49545ea0519ebf66cc3165353c6b72a11df4657	1	https://github.com/rzese/trill.git
	3fb6999bff89a4e7161de68525fd7fa608648d51	1	https://github.com/rzese/trill.git
	c52eaa18f124a7153c66d53bd3f5c855e5983b13	1	https://github.com/rzese/trill.git
	09973ff99456106cab178933000327d2934c13d0	1	https://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 https://github.com/friguzzi/bddem It is installed automatically when installing pack trill or can installed manually as
$ swipl ?- pack_install(bddem).

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.

ChangeLog.md(912 bytes)
LICENSE(8.7K bytes)
README.md(1.5K bytes)
doc
- Makefile(905 bytes)
- acm-sigchi-proceedings.csl(5.8K bytes)
- appendix.tex(13.7K bytes)
- bib.bib(11.5K bytes)
- help-trill.html(63.1K bytes)
- help-trill.pdf(407K bytes)
- help-trill.tex(3.5K bytes)
- img
  - tab1.png(25.8K bytes)
  - tab2.png(26.5K bytes)
  - trill-architecture.eps(26.8K bytes)
- inf_goals.tex(8.4K bytes)
- inference.tex(5.7K bytes)
- manual.html(72.9K bytes)
- manual.pdf(442K bytes)
- manual.tex(11.1K bytes)
- semantics.tex(2.7K bytes)
- syntax.tex(9.7K bytes)
pack.pl(222 bytes)
prolog
- examples
  - BRCA.pl(23.6K bytes, not a module)
  - DBPedia.pl(42.0K bytes, not a module)
  - biopaxLevel3.pl(206K bytes, not a module)
  - biopaxLevel3_rdf.owl(206K bytes)
  - commander.pl(361 bytes, not a module)
  - donvito.pl(453 bytes, not a module)
  - example_max_rule.owl(5.7K bytes)
  - example_max_rule.pl(905 bytes, not a module)
  - example_or_rule.owl(8.2K bytes)
  - example_or_rule.pl(2.1K bytes, not a module)
  - johnEmployee.pl(1.4K bytes, not a module)
  - local_inconsistent_kb.pl(822 bytes, not a module)
  - peoplePets.pl(8.3K bytes, not a module)
  - pizza.pl(567 bytes, not a module)
  - review_example.pl(241 bytes, not a module)
  - transitive_property.pl(208 bytes, not a module)
  - vicodi.pl(49.4K bytes, not a module)
- tornado_internal.pl(11.3K bytes, not a module)
- trill.pl(124K bytes)
- trill_2_funct.pl(21.7K bytes)
- trill_2_manch.pl(30.0K bytes)
- trill_get_expl.pl(1.2K bytes, not a module)
- trill_internal.pl(26.0K bytes, not a module)
- trill_tableau.pl(20.5K bytes, not a module)
- trill_test
  - test.pl(376 bytes, not a module)
  - test_tornado.pl(3.2K bytes)
  - test_trill.pl(12.8K bytes)
  - test_trillp.pl(8.0K bytes)
  - trill_test.pl(1.0K bytes)
- trillp_internal.pl(25.4K bytes, not a module)
- utility_translation.pl(154K bytes)