Welcome to the ProbLog Web Site
ProbLog is a probabilistic logic programming language based on Prolog.
Two ProbLog implementations are available, based on a different methodology and offering a different functionality.
- ProbLog1
ProbLog1, or briefly ProbLog, focusses on computing the success probability of a given query, either exactly or using various approximate methods. ProbLog1 also supports parameter learning, in both the learning from entailment and learning from interpretations setting. ProbLog1 also supports decision-theoretic inference.
ProbLog1 is available for download and installation.
- ProbLog2
ProbLog2 allows the user to compute marginal probabilities of any number of ground atoms in the presence of evidence (in comparison, the succes probability setting of ProbLog1 corresponds to having a single query and no evidence). ProbLog2 also supports parameter learning in the learning from interpretations setting.
ProbLog2 is available as a web application (no installation process required).