mvncenter: it.unibo.tuprolog:theory-js:1.0.3

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

unordered bases ordered memory indexing composed clauses storage logic facilities knowledge

Files download

File	Operation
theory-js-1.0.3.pom	download
theory-js-1.0.3-sources.jar	download

Apache Maven

<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>theory-js</artifactId>
  <version>1.0.3</version>
  <type>klib</type>
</dependency>

Gradle Groovy

implementation 'it.unibo.tuprolog:theory-js:1.0.3'

Gradle Kotlin

implementation("it.unibo.tuprolog:theory-js:1.0.3")

Scala SBT

libraryDependencies += "it.unibo.tuprolog" % "theory-js" % "1.0.3"

Groovy Grape

@Grapes(
  @Grab(group='it.unibo.tuprolog', module='theory-js', version='1.0.3')
)

Apache Ivy

<dependency org="it.unibo.tuprolog" name="theory-js" rev="1.0.3" />

Leiningen

[it.unibo.tuprolog/theory-js "1.0.3"]

Apache Buildr

'it.unibo.tuprolog:theory-js:jar:1.0.3'

Dependencies

compile