Normally I would not post back to back, but since you are new here you might miss this if I did an edit to an existing post, e.g.
EDIT
Updated info.
So here is the new info in a new post.
See:
SWI-Prolog pack: cplint - A suite of programs for reasoning with probabilistic logic programs.
SWI-Prolog pack: bims - Bayesian inference of model structure. (Thanks Nicos (ref))
See SWI-Prolog pack: aleph - Aleph Inductive Logic Programming system.
I have no experience with any of them.
EDIT
Also see: Installing a SWI-Prolog pack