implementation("it.unibo.tuprolog:solve-problog:1.2.0")
State-machine-based implementation of ProbLog