s

solve-classic-js

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
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
based principle sldnf stable machine implementation state resolution prolog
文件下载
文件名 操作
solve-classic-js-1.0.2.pom 下载
solve-classic-js-1.0.2-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>solve-classic-js</artifactId>
  <version>1.0.2</version>
  <type>klib</type>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:solve-classic-js:1.0.2'
Gradle Kotlin 
implementation("it.unibo.tuprolog:solve-classic-js:1.0.2")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "solve-classic-js" % "1.0.2"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='solve-classic-js', version='1.0.2')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="solve-classic-js" rev="1.0.2" />
Leiningen 
[it.unibo.tuprolog/solve-classic-js "1.0.2"]
Apache Buildr 
'it.unibo.tuprolog:solve-classic-js:jar:1.0.2'
本项目依赖

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.2

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

runtime

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