MVN

it.unibo.tuprolog : dsl-theory-jvm

Maven & Gradle

Aug 25, 2023
6 usages
93 stars

2P-Kt, DSL-Theory Module · Kotlin DSL for logic programming, enriched with unification and clause storage facilities

<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>dsl-theory-jvm</artifactId>
    <version>0.31.13</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of it.unibo.tuprolog : dsl-theory-jvm to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.31.13

All Versions

Choose a version of it.unibo.tuprolog : dsl-theory-jvm to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.31.x
dsl-theory-jvm-0.31.13
dsl-theory-jvm-0.31.12
dsl-theory-jvm-0.31.11
dsl-theory-jvm-0.31.10
dsl-theory-jvm-0.31.9
dsl-theory-jvm-0.31.8
dsl-theory-jvm-0.31.7
dsl-theory-jvm-0.31.5-dev0m+0c07eb350
dsl-theory-jvm-0.31.5-dev0f+5a2ad7593
dsl-theory-jvm-0.31.5-dev0c+d53549ad7
dsl-theory-jvm-0.31.5-dev02+b65f8712e
dsl-theory-jvm-0.31.5-dev01+75e0f28ea
dsl-theory-jvm-0.31.5
dsl-theory-jvm-0.31.4-dev01+3caf83203
dsl-theory-jvm-0.31.4
dsl-theory-jvm-0.31.3
dsl-theory-jvm-0.31.2
dsl-theory-jvm-0.31.1-dev02+0cd8a1ae6
dsl-theory-jvm-0.31.1-dev01+f8b39929b
dsl-theory-jvm-0.31.1
dsl-theory-jvm-0.31.0
0.30.x
dsl-theory-jvm-0.30.5
dsl-theory-jvm-0.30.4
dsl-theory-jvm-0.30.3-dev0a+69949374d
dsl-theory-jvm-0.30.3
dsl-theory-jvm-0.30.2-dev0f+259d7b5b
dsl-theory-jvm-0.30.2-dev08+5b060658
dsl-theory-jvm-0.30.2
dsl-theory-jvm-0.30.1
dsl-theory-jvm-0.30.0-dev01+725eae35
dsl-theory-jvm-0.30.0
0.20.x
dsl-theory-jvm-0.20.9-dev0g+63540268
dsl-theory-jvm-0.20.9-dev0c+bc6d9512
dsl-theory-jvm-0.20.9-dev0a+8e9a240b
dsl-theory-jvm-0.20.9-dev03+3250bb16
dsl-theory-jvm-0.20.9-dev02+01edbfee
dsl-theory-jvm-0.20.9-dev01+ada92962
dsl-theory-jvm-0.20.9
dsl-theory-jvm-0.20.7
dsl-theory-jvm-0.20.4
dsl-theory-jvm-0.20.3
dsl-theory-jvm-0.20.2-dev07+51892bb0
dsl-theory-jvm-0.20.2
dsl-theory-jvm-0.20.1
dsl-theory-jvm-0.20.0
0.19.x
dsl-theory-jvm-0.19.0-dev2h+f6956cce
dsl-theory-jvm-0.19.0
0.18.x
dsl-theory-jvm-0.18.2-dev11+a1bd2a91
dsl-theory-jvm-0.18.2-dev0z+13957e4e
dsl-theory-jvm-0.18.2
dsl-theory-jvm-0.18.1-dev05+178b1e2d
dsl-theory-jvm-0.18.1
dsl-theory-jvm-0.18.0
0.17.x
dsl-theory-jvm-0.17.4-dev1q+a89f03d9
dsl-theory-jvm-0.17.4-dev1d+a1160f82
dsl-theory-jvm-0.17.4-dev0j+7e9a6f28
dsl-theory-jvm-0.17.4-dev09+485a46b2
dsl-theory-jvm-0.17.4
dsl-theory-jvm-0.17.3-dev0a+b6708d58
dsl-theory-jvm-0.17.3-dev08+7cca0c42
dsl-theory-jvm-0.17.3
dsl-theory-jvm-0.17.2-dev03+43981b51
dsl-theory-jvm-0.17.2
dsl-theory-jvm-0.17.1-dev1o+35e72985
dsl-theory-jvm-0.17.1-dev18+089dd410
dsl-theory-jvm-0.17.1-dev0z+70805b63
dsl-theory-jvm-0.17.1-dev0w+54dd0dd0
dsl-theory-jvm-0.17.1-dev0v+25724c0c
dsl-theory-jvm-0.17.1-dev03+67bb5e23
dsl-theory-jvm-0.17.1
dsl-theory-jvm-0.17.0
0.16.x
dsl-theory-jvm-0.16.1-dev4z+7e0f0041
dsl-theory-jvm-0.16.1-dev4u+b2f05e44
dsl-theory-jvm-0.16.1-dev4o+a2fea905
dsl-theory-jvm-0.16.1
dsl-theory-jvm-0.16.0
0.15.x
dsl-theory-jvm-0.15.2
dsl-theory-jvm-0.15.0
0.14.x
dsl-theory-jvm-0.14.11
0.13.x
dsl-theory-jvm-0.13.0
0.12.x
dsl-theory-jvm-0.12.1
dsl-theory-jvm-0.12.0
0.11.x
dsl-theory-jvm-0.11.5
dsl-theory-jvm-0.11.4
dsl-theory-jvm-0.11.3
dsl-theory-jvm-0.11.2
dsl-theory-jvm-0.11.1
dsl-theory-jvm-0.11.0
0.10.x
dsl-theory-jvm-0.10.2

How to add a dependency to Maven

Add the following it.unibo.tuprolog : dsl-theory-jvm maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>dsl-theory-jvm</artifactId>
    <version>0.31.13</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following it.unibo.tuprolog : dsl-theory-jvm gradle dependency to your build.gradle file:

implementation 'it.unibo.tuprolog:dsl-theory-jvm:0.31.13'

Gradle Kotlin DSL: Add the following it.unibo.tuprolog : dsl-theory-jvm gradle kotlin dependency to your build.gradle.kts file:

implementation("it.unibo.tuprolog:dsl-theory-jvm:0.31.13")

How to add a dependency to SBT Scala

SBT Scala: Add the following it.unibo.tuprolog : dsl-theory-jvm sbt scala dependency to your build.sbt file:

libraryDependencies += "it.unibo.tuprolog" % "dsl-theory-jvm" % "0.31.13"

Advertisement

Dependencies from Group

May 18, 2021
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
8 usages
93 stars

Discover Dependencies

Mar 19, 2022
7 usages
4 stars
Jun 02, 2022
3 usages
99 stars
Aug 16, 2023
6 usages
May 27, 2022
22 usages
18 stars
Aug 15, 2023
563 stars
Jun 04, 2023
4 usages
Sep 30, 2021
13 usages
69 stars