l1

Implementation of the L0 machine described in "Warren's Abstact Machine, A Tutorial Reconstruction, by Hassan Ait-Kaci"

License	The Apache Software License, Version 2.0
GroupId	com.thesett
ArtifactId	l1
Last Version	1.0.2
Release Date	Oct 5, 2015
Type	jar
Description	l1 Implementation of the L0 machine described in "Warren's Abstact Machine, A Tutorial Reconstruction, by Hassan Ait-Kaci"

Download l1

Filename	Size
l1-1.0.2.pom
l1-1.0.2.jar	23 KB
l1-1.0.2-tests.jar	7 KB
l1-1.0.2-sources.jar	36 KB
l1-1.0.2-javadoc.jar	140 KB

How to add to project

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/com.thesett/l1/
implementation 'com.thesett:l1:1.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.thesett/l1/
implementation ("com.thesett:l1:1.0.2")

Apache Buildr

'com.thesett:l1:jar:1.0.2'

Apache Ivy

<dependency org="com.thesett" name="l1" rev="1.0.2">
  <artifact name="l1" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.thesett', module='l1', version='1.0.2')
)

Scala SBT

libraryDependencies += "com.thesett" % "l1" % "1.0.2"

Leiningen

[com.thesett/l1 "1.0.2"]

Dependencies

compile (3)

Group / Artifact	Type	Version
com.thesett : common	jar	0.8.11
com.thesett : logic	jar	0.8.11
com.thesett : logic	jar	0.8.11

test (2)

Group / Artifact	Type	Version
junit : junit	jar	4.11
com.thesett : base	jar	0.8.11

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
1.0.2 Oct 5, 2015
1.0.1 Feb 25, 2015
1.0.0 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
0.8.3 Aug 20, 2014
0.8.2 Aug 4, 2014
0.8.1 Aug 1, 2014
0.8-M1 Jul 30, 2014