prolog

Implementation of a Prolog interpreter that works directly over the abstract syntax tree.

License

License

GroupId

GroupId

com.thesett
ArtifactId

ArtifactId

prolog
Last Version

Last Version

0.9.117
Release Date

Release Date

Type

Type

jar
Description

Description

prolog
Implementation of a Prolog interpreter that works directly over the abstract syntax tree.

Download prolog

How to add to project

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

Dependencies

compile (4)

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