"A Tractable Prolog Implementation"

Hi there,

I was wondering if there is anything analagous to Scheme 48 (
http://www.s48.org/ ) for Prolog? That is, an implementation which
uses real-world techniques (e.g. the WAM) but is otherwise fairly
spartan, unoptimised and easy-to-read. I'm just starting "Computing
with Logic" by Maier and Warren, and would like something like their
example interpreters/compilers, but running code without any lacunae.

Of course, for writing apps I'd use something like SWI-Prolog, but this
is a rather intimidating codebase and has non-trivial dependencies for
those curious about compilers.

Thanks in advance.

.

Relevant Pages

  • Re: "A Tractable Prolog Implementation"
    ... I was wondering if there is anything analagous to Scheme 48 ( ... http://www.s48.org/) for Prolog? ... uses real-world techniques but is otherwise fairly ... but running code without any lacunae. ...
    (comp.lang.prolog)
  • Re: Planner, micro-planner, etc.
    ... emulator-based Prolog implementations had we followed the DEC-10 ... TOAM) is fundamentally better than the WAM. ... and probably many other implementation principles that one could ...
    (comp.lang.prolog)
  • Re: Prolog compiler correctness
    ... which in turn has an assembler that executes the ... WAM code. ... I'm only concerned about Prolog correctness, ... And for people who worked on popular open source Prolog compiler ...
    (comp.lang.prolog)
  • Re: Planner, micro-planner, etc.
    ... And also, if things like WAM were created for Prolog, why ... Prolog, but we could have ended up with similar or even faster ... emulator-based Prolog implementations had we followed the DEC-10 ... implementation or the traditional Pascal machine. ...
    (comp.lang.prolog)
  • Re: Prolog compiler correctness
    ... which in turn has an assembler that executes the ... WAM code. ... I'm not a professional compiler writer, ... If it is about a real Prolog engine ...
    (comp.lang.prolog)