2P-Kt -- Module `Dsl Theory`

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

Лицензия

Лицензия

Категории

Категории

Данные
Группа

Группа

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

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

dsl-theory-metadata
Последняя версия

Последняя версия

0.17.4
Дата

Дата

Тип

Тип

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-metadata

Зависимости

compile (3)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.4.32
it.unibo.tuprolog : dsl-unify-metadata jar 0.17.4
it.unibo.tuprolog : theory-metadata jar 0.17.4

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

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

Версии библиотеки

Версия
0.17.4
0.17.3
0.17.2-dev03+43981b51
0.17.2
0.17.1-dev18+089dd410
0.17.1-dev03+67bb5e23
0.17.1-dev1o+35e72985
0.17.1-dev0z+70805b63
0.17.1-dev0w+54dd0dd0
0.17.1-dev0v+25724c0c
0.17.1
0.17.0
0.16.1-dev4z+7e0f0041
0.16.1-dev4u+b2f05e44
0.16.1-dev4o+a2fea905
0.16.1
0.16.0
0.15.2
0.15.0
0.14.11
0.13.0
0.12.1
0.12.0
0.11.5
0.11.4
0.11.3
0.11.2
0.11.1
0.11.0
0.10.2