Re: "A Tractable Prolog Implementation"



On 19 Sep 2006 06:25:56 -0700, "Darren Bane" <darren.bane@xxxxxxxxx>
wrote:

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.

Maybe this?...

http://www.binnetcorp.com/OpenCode/free_prolog.html

A.L.
.



Relevant Pages

  • "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 (e.g. the WAM) but is otherwise fairly ...
    (comp.lang.prolog)
  • Re: Constructive Critism - Exercise 2.6 in SICP
    ... >I thought that Scheme was an extensible language so you could extend it ... This is the approach that Prolog takes. ... inference chains which can be resolved against the existing database. ...
    (comp.lang.scheme)
  • Re: Lists in Learn Prolog Now
    ... You certainly know about Prolog predicates that can be used ... >> Java programmers would probably not the same thing. ... >> of Prolog and Scheme. ... Very few people in this newsgroup are. ...
    (comp.lang.prolog)
  • Re: Converting Scheme to Prolog
    ... I don't know scheme. ... feature of prolog is backtracking, ... feature," and your scheme implementation no doubt uses it. ...
    (comp.lang.prolog)
  • Re: Retired programmer wants to learn programming
    ... Prolog will give your brain a good shaking ... Scheme and study of SICP. ...
    (comp.programming)