WAM Prolog

A WAM based Prolog implementation.

License

License

GroupId

GroupId

com.thesett
ArtifactId

ArtifactId

wam_prolog
Last Version

Last Version

0.9.117
Release Date

Release Date

Type

Type

jar
Description

Description

WAM Prolog
A WAM based Prolog implementation.

Download wam_prolog

How to add to project

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

Dependencies

compile (6)

Group / Artifact Type Version
com.thesett : common jar 0.9.117
com.thesett : logic jar 0.9.117
com.thesett : interpreter jar 0.9.117
com.thesett : text_model jar 0.9.117
com.thesett : logic jar 0.9.117
jline : jline jar 1.0

test (2)

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

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
0.9.97
0.9.77
0.8.22
0.8.21
0.8.20
0.8.19
0.8.18
0.8.17
0.8.16
0.8.15
0.8.13
0.8.12
0.8.11