https://123dok.org/document/oz1xj6pq-kernels-prolog-proof-trees-statistical-learning-ilp-setting.html