项目作者: rzese

项目描述 :
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
高级语言: Prolog
项目地址: git://github.com/rzese/trill.git
创建时间: 2015-01-21T10:43:16Z
项目社区:https://github.com/rzese/trill

开源协议:Artistic License 2.0

下载


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

  1. $ swipl
  2. ?- 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

  1. ?- 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

  1. $ swipl
  2. ?- 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

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

Testing the installation

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

Support

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