TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
Primary LanguagePrologArtistic License 2.0Artistic-2.0