LIFTCOVER is a probabilistic inductive logic programming system.
You can find the manual at https://friguzzi.github.io/liftcover/
You can try it online at http://cplint.eu.
This is an SWI-Prolog pack.
It can be installed with pack_install/1
$ swipl
?- pack_install(liftcover).