cplint

Visit http://ml.unife.it/cplint/
You can try it online the SWI-Prolog version at http://cplint.ml.unife.it/.