s

solve-concurrent

Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines
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
based like machine implementation concurrent kotlin experimental state logic coroutines prolog solver
Files download
File Operation
solve-concurrent-0.31.5-dev01+75e0f28ea.jar download
solve-concurrent-0.31.5-dev01+75e0f28ea.pom download
solve-concurrent-0.31.5-dev01+75e0f28ea-sources.jar download
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>solve-concurrent</artifactId>
  <version>0.31.5-dev01+75e0f28ea</version>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:solve-concurrent:0.31.5-dev01+75e0f28ea'
Gradle Kotlin 
implementation("it.unibo.tuprolog:solve-concurrent:0.31.5-dev01+75e0f28ea")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "solve-concurrent" % "0.31.5-dev01+75e0f28ea"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='solve-concurrent', version='0.31.5-dev01+75e0f28ea')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="solve-concurrent" rev="0.31.5-dev01+75e0f28ea" />
Leiningen 
[it.unibo.tuprolog/solve-concurrent "0.31.5-dev01+75e0f28ea"]
Apache Buildr 
'it.unibo.tuprolog:solve-concurrent:jar:0.31.5-dev01+75e0f28ea'
Dependencies

runtime

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

|-- it.unibo.tuprolog:solve:0.31.5-dev01+75e0f28ea