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

2P-Kt, Unify Module 0.20.9-dev03+3250bb16

Logic unification for logic terms and clauses

Лицензия

Лицензия

Группа

Группа

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

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

unify-jvm
Версия

Версия

0.20.9-dev03+3250bb16
Тип

Тип

pom.sha512
Описание

Описание

2P-Kt, Unify Module
Logic unification for logic terms and clauses
Ссылка на сайт

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

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

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

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

Скачать unify-jvm 0.20.9-dev03+3250bb16

Зависимости

compile (3)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.7.0
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.7.0
it.unibo.tuprolog : core-jvm jar 0.20.9-dev03+3250bb16

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

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