it.unibo.tuprolog:solve-classic-jvm 0.18.1-dev05+178b1e2d

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

Группа	Группа it.unibo.tuprolog
Идентификатор	Идентификатор solve-classic-jvm
Версия	Версия 0.18.1-dev05+178b1e2d
Тип	Тип pom.sha512

Скачать solve-classic-jvm 0.18.1-dev05+178b1e2d

Имя Файла	Размер
solve-classic-jvm-0.18.1-dev05+178b1e2d.pom
solve-classic-jvm-0.18.1-dev05+178b1e2d-sources.jar	27 KB
solve-classic-jvm-0.18.1-dev05+178b1e2d-javadoc.jar	495 KB
Обзор