it.unibo.tuprolog:solve-classic 0.17.4-dev0j+7e9a6f28

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

Группа	Группа it.unibo.tuprolog
Идентификатор	Идентификатор solve-classic
Версия	Версия 0.17.4-dev0j+7e9a6f28
Тип	Тип pom.sha512

Скачать solve-classic 0.17.4-dev0j+7e9a6f28

Имя Файла	Размер
solve-classic-0.17.4-dev0j+7e9a6f28.pom
solve-classic-0.17.4-dev0j+7e9a6f28-sources.jar	51 KB
Обзор