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