ProbLog

ProbLog
Original authorDTAI research lab (KU Leuven)
Initial releaseNovember 11, 2007 (2007-11-11)
Stable release
2.2
Written inPython
Operating systemLinux, Mac OS X, Microsoft Windows
TypeProbabilistic logic
License Apache License, Version 2.0
Websitedtai.cs.kuleuven.be/problog/

ProbLog is a probabilistic logic programming language that extends Prolog with probabilities. It minimally extends Prolog by adding the notion of a probabilistic fact, which combines the idea of logical atoms and random variables. Similarly to Prolog, ProbLog can query an atom. While Prolog returns the truth value of the queried atom, ProbLog returns the probability of it being true.