wam

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

License

License

GroupId

GroupId

com.thesett
ArtifactId

ArtifactId

wam
Last Version

Last Version

1.0.2
Release Date

Release Date

Type

Type

jar
Description

Description

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

Download wam

How to add to project

<!-- https://jarcasting.com/artifacts/com.thesett/wam/ -->
<dependency>
    <groupId>com.thesett</groupId>
    <artifactId>wam</artifactId>
    <version>1.0.2</version>
</dependency>
// https://jarcasting.com/artifacts/com.thesett/wam/
implementation 'com.thesett:wam:1.0.2'
// https://jarcasting.com/artifacts/com.thesett/wam/
implementation ("com.thesett:wam:1.0.2")
'com.thesett:wam:jar:1.0.2'
<dependency org="com.thesett" name="wam" rev="1.0.2">
  <artifact name="wam" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.thesett', module='wam', version='1.0.2')
)
libraryDependencies += "com.thesett" % "wam" % "1.0.2"
[com.thesett/wam "1.0.2"]

Dependencies

compile (6)

Group / Artifact Type Version
com.thesett : common jar 0.8.11
com.thesett : logic jar 0.8.11
com.thesett : wambook_cli jar 1.0.2
com.thesett : text_model jar 0.8.11
com.thesett : logic jar 0.8.11
jline : jline jar 1.0

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