De Raedt, L.L.De RaedtKimmig, A.A.KimmigGutmann, B.B.GutmannKersting, KristianKristianKerstingCosta, V.S.V.S.CostaToivonen, H.H.Toivonen2022-03-042022-03-042010https://publica.fraunhofer.de/handle/publica/22426810.1007/978-1-4419-7738-0_10We study how probabilistic reasoning and inductive querying can be combined within ProbLog, a recent probabilistic extension of Prolog. ProbLog can be regarded as a database system that supports both probabilistic and inductive reasoning through a variety of querying mechanisms. After a short introduction to ProbLog, we provide a survey of the different types of inductive queries that ProbLog supports, and show how it can be applied to the mining of large biological networks.en005book article