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