s

solve-streams-js

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle
https://github.com/tuProlog/2p-kt
Apache-2.0
Jason Dellaluce Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Manuel Bonarrigo Davide Greco Sofia Montebugnoli Paolo Verdini Lorenzo Rizzato Jason Dellaluce Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Manuel Bonarrigo Davide Greco Sofia Montebugnoli Paolo Verdini Lorenzo Rizzato
based functional principle sldnf implementation experimental resolution programming prolog
Files download
File Operation
solve-streams-js-1.0.0.pom download
solve-streams-js-1.0.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>solve-streams-js</artifactId>
  <version>1.0.0</version>
  <type>klib</type>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:solve-streams-js:1.0.0'
Gradle Kotlin 
implementation("it.unibo.tuprolog:solve-streams-js:1.0.0")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "solve-streams-js" % "1.0.0"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='solve-streams-js', version='1.0.0')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="solve-streams-js" rev="1.0.0" />
Leiningen 
[it.unibo.tuprolog/solve-streams-js "1.0.0"]
Apache Buildr 
'it.unibo.tuprolog:solve-streams-js:jar:1.0.0'
Dependencies

compile

|-- org.jetbrains.kotlin:kotlin-stdlib-js:1.9.23

|-- org.jetbrains.kotlin:kotlin-dom-api-compat:1.9.23

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

|-- it.unibo.tuprolog:solve-js:1.0.0

|-- it.unibo.tuprolog:dsl-theory-js:1.0.0

|-- org.jetbrains.kotlin:kotlin-stdlib-js:1.9.23