logic

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

License	The Apache Software License, Version 2.0
GroupId	com.thesett
ArtifactId	logic
Last Version	0.9.117
Release Date	Nov 2, 2016
Type	jar
Description	logic Rich syntax trees and parsers for working with first order logic.

Download logic

Filename	Size
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

How to add to project

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"]

Dependencies

compile (2)

Group / Artifact	Type	Version
com.thesett : common	jar	0.9.117
com.thesett : power_model	jar	0.9.117

test (2)

Group / Artifact	Type	Version
junit : junit	jar	4.11
log4j : log4j	jar	[1.2.8,)

Project Modules

There are no modules declared in this project.

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.

Versions

Version
0.9.117 Nov 2, 2016
0.9.97 Jun 27, 2016
0.9.77 Jun 13, 2016
0.8.22 Nov 13, 2015
0.8.21 Sep 28, 2015
0.8.20 Sep 28, 2015
0.8.19 Sep 28, 2015
0.8.18 Sep 24, 2015
0.8.17 May 12, 2015
0.8.16 May 1, 2015
0.8.15 Mar 24, 2015
0.8.13 Mar 19, 2015
0.8.12 Mar 18, 2015
0.8.11 Feb 10, 2015
0.8.10 Feb 4, 2015
0.8.9 Dec 2, 2014
0.8.8 Oct 13, 2014
0.8.7 Oct 1, 2014
0.8.6 Sep 12, 2014
0.8.5 Sep 10, 2014
0.8.4 Sep 5, 2014