Deductive and Inductive Probabilistic Programming

Fabrizio Riguzzi

0 0 Dipartimento di Ingegneria 1 University of Ferrara Via Saragat 1, I-44122, Ferrara , Italy

Probabilistic programming (PP) is available in two di erent variants: imperative/functional and logic. These two variants have complementary strengths and mostly separate communities. In this talk I will discuss how most strengths of inference for imperative/functional PP can be included in PLP. Moreover, I will show that PLP is particularly suitable for inductive reasoning.