2P-Kt, Unify Module

Logic unification for logic terms and clauses

Лицензия	Лицензия Apache-2.0
Группа	Группа it.unibo.tuprolog
Идентификатор	Идентификатор unify
Последняя версия	Последняя версия 0.20.9-dev03+3250bb16
Дата	Дата 20 июн. 2022 г.
Тип	Тип pom
Описание	Описание 2P-Kt, Unify Module Logic unification for logic terms and clauses
Ссылка на сайт	Ссылка на сайт https://github.com/tuProlog/2p-kt
Система контроля версий	Система контроля версий https://github.com/tuProlog/2p-kt

Скачать unify

Имя Файла	Размер
unify-0.20.9-dev03+3250bb16.pom
Обзор

Как подключить последнюю версию

Apache Maven

<!-- https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/ -->
<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>unify</artifactId>
    <version>0.20.9-dev03+3250bb16</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/
implementation 'it.unibo.tuprolog:unify:0.20.9-dev03+3250bb16'

Gradle Kotlin

// https://jarcasting.com/artifacts/it.unibo.tuprolog/unify/
implementation ("it.unibo.tuprolog:unify:0.20.9-dev03+3250bb16")

Apache Buildr

'it.unibo.tuprolog:unify:pom:0.20.9-dev03+3250bb16'

Apache Ivy

<dependency org="it.unibo.tuprolog" name="unify" rev="0.20.9-dev03+3250bb16">
  <artifact name="unify" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='it.unibo.tuprolog', module='unify', version='0.20.9-dev03+3250bb16')
)

Scala SBT

libraryDependencies += "it.unibo.tuprolog" % "unify" % "0.20.9-dev03+3250bb16"

Leiningen

[it.unibo.tuprolog/unify "0.20.9-dev03+3250bb16"]

Зависимости

runtime (2)

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

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

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

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

Версия
0.20.9-dev03+3250bb16 20 июн. 2022 г.
0.20.9-dev02+01edbfee 20 июн. 2022 г.
0.20.9-dev01+ada92962 16 июн. 2022 г.
0.20.9-dev0a+8e9a240b 22 июн. 2022 г.
0.20.9 14 июн. 2022 г.
0.20.7 2 июн. 2022 г.
0.20.4 6 нояб. 2021 г.
0.20.3 5 нояб. 2021 г.
0.20.2-dev07+51892bb0 5 нояб. 2021 г.
0.20.2 18 окт. 2021 г.
0.20.1 6 сент. 2021 г.
0.20.0 30 авг. 2021 г.
0.19.0-dev2h+f6956cce 27 авг. 2021 г.
0.19.0 9 авг. 2021 г.
0.18.2-dev11+a1bd2a91 9 авг. 2021 г.
0.18.2-dev0z+13957e4e 6 авг. 2021 г.
0.18.2 15 июл. 2021 г.
0.18.1-dev05+178b1e2d 14 июл. 2021 г.
0.18.1 28 июн. 2021 г.
0.18.0 28 июн. 2021 г.
0.17.4-dev09+485a46b2 15 июн. 2021 г.
0.17.4-dev1q+a89f03d9 25 июн. 2021 г.
0.17.4-dev1d+a1160f82 21 июн. 2021 г.
0.17.4-dev0j+7e9a6f28 16 июн. 2021 г.
0.17.4 18 мая 2021 г.
0.17.3-dev08+7cca0c42 15 июн. 2021 г.
0.17.3-dev0a+b6708d58 15 июн. 2021 г.
0.17.3 18 мая 2021 г.
0.17.2-dev03+43981b51 17 мая 2021 г.
0.17.2 15 мая 2021 г.
0.17.1-dev18+089dd410 22 апр. 2021 г.
0.17.1-dev03+67bb5e23 1 апр. 2021 г.
0.17.1-dev1o+35e72985 15 мая 2021 г.
0.17.1-dev0z+70805b63 20 апр. 2021 г.
0.17.1-dev0w+54dd0dd0 19 апр. 2021 г.
0.17.1-dev0v+25724c0c 19 апр. 2021 г.
0.17.1 15 мар. 2021 г.
0.17.0 14 мар. 2021 г.
0.16.1-dev4z+7e0f0041 14 мар. 2021 г.
0.16.1-dev4u+b2f05e44 13 мар. 2021 г.
0.16.1-dev4o+a2fea905 13 мар. 2021 г.
0.16.1 19 янв. 2021 г.
0.16.0 17 янв. 2021 г.
0.15.2 17 дек. 2020 г.
0.15.0 7 дек. 2020 г.
0.14.11 27 окт. 2020 г.
0.13.0 24 сент. 2020 г.
0.12.1 17 сент. 2020 г.
0.12.0 16 сент. 2020 г.
0.11.5 12 сент. 2020 г.
0.11.4 11 сент. 2020 г.
0.11.3 10 сент. 2020 г.
0.11.2 31 авг. 2020 г.
0.11.1 7 июл. 2020 г.
0.11.0 2 июл. 2020 г.
0.10.2 13 июн. 2020 г.

2P-Kt, Unify Module

Лицензия

Группа

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

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

Дата

Тип

Описание

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

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

Скачать unify

Как подключить последнюю версию

Зависимости

runtime (2)

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

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