cplint is a suite of programs for answering queries from the Independent Choice Logic, Logic Programs with Annotated Disjunctions and CP-logic programs developed at the University of Ferrara by Fabrizio Riguzzi.
You can have a look at the manual in html or pdf for instruction on how to download, install and use it. cplint is distrbitued together with the CVS version of Yap, available at http://sourceforge.net/projects/yap.