d

dsl-solve-jvm

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
https://github.com/tuProlog/2p-kt
Apache-2.0
Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco
clause with enriched kotlin logic storage unification facilities resolution programming
Files download
File Operation
dsl-solve-jvm-0.31.5-dev0m+0c07eb350.jar download
dsl-solve-jvm-0.31.5-dev0m+0c07eb350.pom download
dsl-solve-jvm-0.31.5-dev0m+0c07eb350-sources.jar download
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>dsl-solve-jvm</artifactId>
  <version>0.31.5-dev0m+0c07eb350</version>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:dsl-solve-jvm:0.31.5-dev0m+0c07eb350'
Gradle Kotlin 
implementation("it.unibo.tuprolog:dsl-solve-jvm:0.31.5-dev0m+0c07eb350")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "dsl-solve-jvm" % "0.31.5-dev0m+0c07eb350"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='dsl-solve-jvm', version='0.31.5-dev0m+0c07eb350')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="dsl-solve-jvm" rev="0.31.5-dev0m+0c07eb350" />
Leiningen 
[it.unibo.tuprolog/dsl-solve-jvm "0.31.5-dev0m+0c07eb350"]
Apache Buildr 
'it.unibo.tuprolog:dsl-solve-jvm:jar:0.31.5-dev0m+0c07eb350'
Dependencies

compile

|-- org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.8.21

|-- org.jetbrains.kotlin:kotlin-stdlib-common:1.8.21

|-- it.unibo.tuprolog:dsl-theory-jvm:0.31.5-dev0m+0c07eb350

|-- it.unibo.tuprolog:solve-jvm:0.31.5-dev0m+0c07eb350