thesis on the apply ordering of bottom-up SDD compilation

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.