The ProbLog documentation is a available on this page.