Did you know ... Search Documentation:
Pack liftcover -- README.md

LIFTCOVER

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.

Installation

This is an SWI-Prolog pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(liftcover).

Further documentation

PlDoc