implementation("it.unibo.tuprolog:core:0.31.5-dev0m+0c07eb350")
Knowlege representation via logic terms and clauses