kLog: A Language for Logical and Relational Learning with Kernels
Bayesian Logic Programming: Theory and Tool