it.unibo.tuprolog:dsl-solve-jvm (maven): Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
Keywords: 2p|java|javascript|js|jvm|kotlin|kotlin-multi-platform|kotlin-multiplatform|logic-programming|prolog|simbolic-ai|symbolic|tuprolog