8000 GitHub - ptarau/LeanProlog
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

ptarau/LeanProlog

Repository files navigation

LeanProlog is a lightweight but efficient Java-based Prolog system.

It is designed to have most Prolog functionality expressed at source level with good performance coming from its optimized (Bin)WAM-based runtime system.

A typical run on any OS:

cd bin
java -jar ../lprolog.jar ../lprolog.jar
?-[nrev].
?-go.
?-halt.

On a Mac OS X or Ubuntu, the Java version self-compiles and builds with

build.sh,

creating lprolog.jar and a shell to launch it to be put in your PATH

lprolog.sh

The same should work on any Unix/Linux but (but may need small adaptations depending on command shells for other systems).

Convention for third party extensions:

add them to lib, then customize the script "to_xjar" to embed them into prolog.jar

Some features:

  • reentrant coroutining engines
  • heap and symbol garbage collections
  • threads
  • arbitrary size integers
  • 64 bit address space

See directory bin/progs for some typical examples that it can run.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published
0