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

2P-Kt, Solve-Classic Module 0.20.7

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Лицензия

Лицензия

Группа

Группа

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

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

solve-classic
Версия

Версия

0.20.7
Тип

Тип

pom.sha512
Описание

Описание

2P-Kt, Solve-Classic Module
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Ссылка на сайт

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

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

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

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

Скачать solve-classic 0.20.7

Зависимости

runtime (2)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.6.21
it.unibo.tuprolog : solve jar 0.20.7

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

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