cplint

cplint is a suite of programs for reasoning and learning with the Independent Choice Logic, Logic Programs with Annotated Disjunctions and CP-logic programs developed at the University of Ferrara.
Two versions are available, one for Yap Prolog and one for SWI-Prolog. They differ slightly in the features offered.
The Yap version is distributed in the source tree of Yap. The SWI-Prolog version is distributed as a pack.
You can find the manuals at:
You can try it online the SWI-Prolog version at http://cplint.eu.