Kotlin DSL for logic programming, enriched with unification and clause storage facilities
| License | Apache 2.0 |
|---|---|
| Tags | jvmdsl |
| HomePage | https://github.com/tuProlog/2p-kt 🔍 Inspect URL |
| Date | May 10, 2024 |
| Files | pom (5 KB) jar (31 KB) View All |
| Repositories | Central |
| Ranking | #54984 in MvnRepository (See Top Artifacts) |
| Used By | 9 artifacts |
Compile Dependencies (5)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | it.unibo.tuprolog » dsl-unify-jvm | 1.0.3 | 1.1.4 |
Apache 2.0 | | it.unibo.tuprolog » theory-jvm | 1.0.3 | 1.1.4 |
| Lang Runtime Apache 2.0 |  | org.jetbrains.kotlin » kotlin-stdlib-jdk8 | 1.9.23 | 2.2.21 |
| JVM Languages Apache 2.0 | | org.jetbrains.kotlin » kotlin-stdlib-common | 1.9.23 | 2.2.21 |
| JVM Languages Apache 2.0 | | org.jetbrains.kotlin » kotlin-stdlib | 1.9.23 | 2.2.21 |
Licenses
| License | URL |
|---|---|
| Apache-2.0 | https://www.apache.org/licenses/LICENSE-2.0 |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Jason Dellaluce | jason.dellaluce<at>studio.unibo.it | |||
| Sofia Montebugnoli | sofia.montebugnoli2<at>studio.unibo.it | |||
| Enrico Siboni | enrico.siboni3<at>studio.unibo.it | |||
| Giovanni Ciatto | giovanni.ciatto<at>unibo.it | Alma Mater Studiorum - Università di Bologna | ||
| Andrea Giordano | andrea.giordano5<at>studio.unibo.it | |||
| Silvia Lanzoni | silvia.lanzoni5<at>studio.unibo.it | |||
| Paolo Verdini | paolo.verdini<at>studio.unibo.it | |||
| Lorenzo Rizzato | lorenzo.rizzato<at>studio.unibo.it | |||
| Manuel Bonarrigo | manuel.bonarrigo<at>studio.unibo.it | |||
| Davide Greco | davide.greco4<at>studio.unibo.it | |||
| Jason Dellaluce | jason.dellaluce<at>studio.unibo.it | |||
| Sofia Montebugnoli | sofia.montebugnoli2<at>studio.unibo.it | |||
| Enrico Siboni | enrico.siboni3<at>studio.unibo.it | |||
| Giovanni Ciatto | giovanni.ciatto<at>unibo.it | Alma Mater Studiorum - Università di Bologna | ||
| Andrea Giordano | andrea.giordano5<at>studio.unibo.it | |||
| Silvia Lanzoni | silvia.lanzoni5<at>studio.unibo.it | |||
| Paolo Verdini | paolo.verdini<at>studio.unibo.it | |||
| Lorenzo Rizzato | lorenzo.rizzato<at>studio.unibo.it | |||
| Manuel Bonarrigo | manuel.bonarrigo<at>studio.unibo.it | |||
| Davide Greco | davide.greco4<at>studio.unibo.it |