Extension library for logic solvers, enabling OOP support in logic programs
| License | Apache 2.0 |
|---|---|
| Tags | jvmlibrary |
| HomePage | https://github.com/tuProlog/2p-kt 🔍 Inspect URL |
| Date | Dec 09, 2023 |
| Files | pom (4 KB) jar (231 KB) View All |
| Repositories | Central |
| Ranking | #71154 in MvnRepository (See Top Artifacts) |
| Used By | 7 artifacts |
Compile Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | it.unibo.tuprolog » solve-jvm | 0.31.19 | 1.1.4 |
| Lang Runtime Apache 2.0 |  | org.jetbrains.kotlin » kotlin-stdlib-jdk8 | 1.8.21 | 2.2.21 |
| JVM Languages Apache 2.0 | | org.jetbrains.kotlin » kotlin-stdlib-common | 1.8.21 | 2.2.21 |
| Reflection Apache 2.0 | | org.jetbrains.kotlin » kotlin-reflect | 1.8.21 | 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 |