implementation("it.unibo.tuprolog:serialize-theory:0.20.3")
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android