c

core-jvm

Knowlege representation via logic terms and clauses
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
terms knowlege clauses logic representation
Files download
File Operation
core-jvm-0.31.0.jar download
core-jvm-0.31.0.pom download
core-jvm-0.31.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>core-jvm</artifactId>
  <version>0.31.0</version>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:core-jvm:0.31.0'
Gradle Kotlin 
implementation("it.unibo.tuprolog:core-jvm:0.31.0")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "core-jvm" % "0.31.0"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='core-jvm', version='0.31.0')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="core-jvm" rev="0.31.0" />
Leiningen 
[it.unibo.tuprolog/core-jvm "0.31.0"]
Apache Buildr 
'it.unibo.tuprolog:core-jvm:jar:0.31.0'
Dependencies

compile

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

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

|-- io.github.gciatto:kt-math-jvm:0.7.0

|-- it.unibo.tuprolog:utils-jvm:0.31.0

runtime

|-- org.jetbrains.kotlin:kotlin-bom:1.8.10