<dependency>
<groupId>it.unibo.tuprolog</groupId>
<artifactId>full-jvm</artifactId>
<version>1.0.1</version>
</dependency>
compile
|-- org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.9.23
|-- it.unibo.tuprolog:ide:1.0.1
|-- it.unibo.tuprolog:ide-plp:1.0.1
|-- it.unibo.tuprolog:parser-jvm:1.0.1
|-- org.jetbrains.kotlin:kotlin-stdlib-common:1.9.23
|-- it.unibo.tuprolog:bdd-jvm:1.0.1
|-- it.unibo.tuprolog:core-jvm:1.0.1
|-- it.unibo.tuprolog:datalog-jvm:1.0.1
|-- it.unibo.tuprolog:dsl-core-jvm:1.0.1
|-- it.unibo.tuprolog:dsl-solve-jvm:1.0.1
|-- it.unibo.tuprolog:dsl-theory-jvm:1.0.1
|-- it.unibo.tuprolog:dsl-unify-jvm:1.0.1
|-- it.unibo.tuprolog:io-lib-jvm:1.0.1
|-- it.unibo.tuprolog:oop-lib-jvm:1.0.1
|-- it.unibo.tuprolog:parser-core-jvm:1.0.1
|-- it.unibo.tuprolog:parser-theory-jvm:1.0.1
|-- it.unibo.tuprolog:repl-jvm:1.0.1
|-- it.unibo.tuprolog:serialize-core-jvm:1.0.1
|-- it.unibo.tuprolog:serialize-theory-jvm:1.0.1
|-- it.unibo.tuprolog:solve-jvm:1.0.1
|-- it.unibo.tuprolog:solve-classic-jvm:1.0.1
|-- it.unibo.tuprolog:solve-concurrent-jvm:1.0.1
|-- it.unibo.tuprolog:solve-plp-jvm:1.0.1
|-- it.unibo.tuprolog:solve-problog-jvm:1.0.1
|-- it.unibo.tuprolog:solve-streams-jvm:1.0.1
|-- it.unibo.tuprolog:test-dsl-jvm:1.0.1
|-- it.unibo.tuprolog:theory-jvm:1.0.1
|-- it.unibo.tuprolog:unify-jvm:1.0.1