-- 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

- Stefano Bragaglia and Fabrizio Riguzzi
- Artistic License 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.