Deductive and Inductive Probabilistic
             Programming

                          Fabrizio Riguzzi

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



Abstract. Probabilistic programming (PP) is available in two different
variants: imperative/functional and logic. These two variants have com-
plementary 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 particu-
larly suitable for inductive reasoning.