l0

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

License

License

GroupId

GroupId

com.thesett
ArtifactId

ArtifactId

l0
Last Version

Last Version

1.0.2
Release Date

Release Date

Type

Type

jar
Description

Description

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

Download l0

How to add to project

<!-- https://jarcasting.com/artifacts/com.thesett/l0/ -->
<dependency>
    <groupId>com.thesett</groupId>
    <artifactId>l0</artifactId>
    <version>1.0.2</version>
</dependency>
// https://jarcasting.com/artifacts/com.thesett/l0/
implementation 'com.thesett:l0:1.0.2'
// https://jarcasting.com/artifacts/com.thesett/l0/
implementation ("com.thesett:l0:1.0.2")
'com.thesett:l0:jar:1.0.2'
<dependency org="com.thesett" name="l0" rev="1.0.2">
  <artifact name="l0" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.thesett', module='l0', version='1.0.2')
)
libraryDependencies += "com.thesett" % "l0" % "1.0.2"
[com.thesett/l0 "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
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
1.0.2
1.0.1
1.0.0
0.8.10
0.8.9
0.8.8
0.8.7
0.8.6
0.8.5
0.8.4
0.8.3
0.8.2
0.8.1
0.8-M1