logic

Rich syntax trees and parsers for working with first order logic.

Лицензия	Лицензия The Apache Software License, Version 2.0
Группа	Группа com.thesett
Идентификатор	Идентификатор logic
Последняя версия	Последняя версия 0.9.117
Дата	Дата 2 нояб. 2016 г.
Тип	Тип jar
Описание	Описание logic Rich syntax trees and parsers for working with first order logic.

Скачать logic

Имя Файла	Размер
logic-0.9.117.pom
logic-0.9.117.jar	126 KB
logic-0.9.117-tests.jar	29 KB
logic-0.9.117-sources.jar	147 KB
logic-0.9.117-javadoc.jar	655 KB
Обзор

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

Apache Maven

<!-- https://jarcasting.com/artifacts/com.thesett/logic/ -->
<dependency>
    <groupId>com.thesett</groupId>
    <artifactId>logic</artifactId>
    <version>0.9.117</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.thesett/logic/
implementation 'com.thesett:logic:0.9.117'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.thesett/logic/
implementation ("com.thesett:logic:0.9.117")

Apache Buildr

'com.thesett:logic:jar:0.9.117'

Apache Ivy

<dependency org="com.thesett" name="logic" rev="0.9.117">
  <artifact name="logic" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.thesett', module='logic', version='0.9.117')
)

Scala SBT

libraryDependencies += "com.thesett" % "logic" % "0.9.117"

Leiningen

[com.thesett/logic "0.9.117"]

Зависимости

compile (2)

Идентификатор библиотеки	Тип	Версия
com.thesett : common	jar	0.9.117
com.thesett : power_model	jar	0.9.117

test (2)

Идентификатор библиотеки	Тип	Версия
junit : junit	jar	4.11
log4j : log4j	jar	[1.2.8,)

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

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

LoJiX

LoJiX is a framework for logic compilers, and a Prolog implementation.

Roadmap

2015-02-11

Priorities are in the order presented here:

Get cut working.
Get call and not working.
Complete nested inline conjunction/disjunction.
Change the memory model to 64-bit, with an appropriately chosen layout for tagged heap values.
Get basic int and float arithmetic working.
Implement a simple garbage collector.

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

Версия
0.9.117 2 нояб. 2016 г.
0.9.97 27 июн. 2016 г.
0.9.77 13 июн. 2016 г.
0.8.22 13 нояб. 2015 г.
0.8.21 28 сент. 2015 г.
0.8.20 28 сент. 2015 г.
0.8.19 28 сент. 2015 г.
0.8.18 24 сент. 2015 г.
0.8.17 12 мая 2015 г.
0.8.16 1 мая 2015 г.
0.8.15 24 мар. 2015 г.
0.8.13 19 мар. 2015 г.
0.8.12 18 мар. 2015 г.
0.8.11 10 февр. 2015 г.
0.8.10 4 февр. 2015 г.
0.8.9 2 дек. 2014 г.
0.8.8 13 окт. 2014 г.
0.8.7 1 окт. 2014 г.
0.8.6 12 сент. 2014 г.
0.8.5 10 сент. 2014 г.
0.8.4 5 сент. 2014 г.

logic

Лицензия

Группа

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

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

Дата

Тип

Описание