LP2 is a system for performing lifted inference with probabilistic logic programs. It is based on the Prolog Factor Language and is available in the source code of Yap Prolog, which can be found here, VIS is available here.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, and Riccardo Zese. Lifted variable elimination for probabilistic logic programming. Theory and Practice of Logic Programming, 14(Special issue 4-5 – ICLP 2014):681–695, © Cambridge University Press, 2014. [ bib | DOI | http ]