Did you know ... Search Documentation:
Pack cplint -- prolog/viterbi.pl
PublicShow source

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 https://opensource.org/licenses/Artistic-2.0
 viterbi(:Query:conjunction, +K:int, -Exp:list) is nondet
The predicate computes the most probable explanation of the conjunction of literals Query. It returns the explanation in Exp.