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