| Лицензия |
Лицензия |
|---|---|
| Группа | Группаit.unibo.tuprolog |
| Идентификатор | Идентификаторtheory |
| Последняя версия | Последняя версия0.20.9-dev03+3250bb16 |
| Дата | Дата |
| Тип | Типpom |
| Описание |
Описание2P-Kt, Theory Module
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| theory-0.20.9-dev03+3250bb16.pom | |
| Обзор |
<!-- https://jarcasting.com/artifacts/it.unibo.tuprolog/theory/ -->
<dependency>
<groupId>it.unibo.tuprolog</groupId>
<artifactId>theory</artifactId>
<version>0.20.9-dev03+3250bb16</version>
<type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/it.unibo.tuprolog/theory/
implementation 'it.unibo.tuprolog:theory:0.20.9-dev03+3250bb16'
// https://jarcasting.com/artifacts/it.unibo.tuprolog/theory/
implementation ("it.unibo.tuprolog:theory:0.20.9-dev03+3250bb16")
'it.unibo.tuprolog:theory:pom:0.20.9-dev03+3250bb16'
<dependency org="it.unibo.tuprolog" name="theory" rev="0.20.9-dev03+3250bb16">
<artifact name="theory" type="pom" />
</dependency>
@Grapes(
@Grab(group='it.unibo.tuprolog', module='theory', version='0.20.9-dev03+3250bb16')
)
libraryDependencies += "it.unibo.tuprolog" % "theory" % "0.20.9-dev03+3250bb16"
[it.unibo.tuprolog/theory "0.20.9-dev03+3250bb16"]
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.jetbrains.kotlin : kotlin-stdlib-common | jar | 1.7.0 |
| it.unibo.tuprolog : core | jar | 0.20.9-dev03+3250bb16 |
| it.unibo.tuprolog : unify | jar | 0.20.9-dev03+3250bb16 |