не последняя версия
Последняя версия 0.20.9-dev03+3250bb16

2P-Kt -- Module `Dsl Theory` 0.17.4-dev09+485a46b2

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

Лицензия

Лицензия

Группа

Группа

it.unibo.tuprolog
Идентификатор

Идентификатор

dsl-theory-jvm
Версия

Версия

0.17.4-dev09+485a46b2
Тип

Тип

pom.sha512
Описание

Описание

2P-Kt -- Module `Dsl Theory`
Kotlin DSL for logic programming, enriched with unification and clause storage facilities
Ссылка на сайт

Ссылка на сайт

https://github.com/tuProlog/2p-kt
Система контроля версий

Система контроля версий

https://github.com/tuProlog/2p-kt

Скачать dsl-theory-jvm 0.17.4-dev09+485a46b2

Зависимости

compile (4)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.5.10
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.5.10
it.unibo.tuprolog : dsl-unify-jvm jar 0.17.4-dev09+485a46b2
it.unibo.tuprolog : theory-jvm jar 0.17.4-dev09+485a46b2

Модули Проекта

Данный проект не имеет модулей.