viterbi.pl -- viterbi

This module performs reasoning over Logic Programs with Annotated Disjunctions and CP-Logic programs. It reads probabilistic program and computes the most likely explanation of the query

author
- Stefano Bragaglia and Fabrizio Riguzzi
license
- Artistic License 2.0 https://opensource.org/licenses/Artistic-2.0
 viterbi(:Query:conjunction, -Probability:float, -Exp:list) is nondet
The predicate computes the most probable explanation of the conjunction of literals Query. It returns the explanation in Exp.