Prolog Execution Algorithm



Hello,

I'm looking for a good explanation of the algorithm (pseudocode ?) that
prolog uses to solve a query.

I know that the book by Ivan Bratko features a version of the
algorithm, but I'm looking for a more elaborate version (with
particular attention to the handling of variables).

Thanks.

.



Relevant Pages

  • Re: Prolog Execution Algorithm
    ... > prolog uses to solve a query. ... > algorithm, but I'm looking for a more elaborate version (with ... Well, there are different approaches to implement prolog, wiht consequently ... But try to get a hold of WAM thesis (ort any text on ...
    (comp.lang.prolog)
  • Re: Prolog Execution Algorithm
    ... | prolog uses to solve a query. ... | algorithm, but I'm looking for a more elaborate version (with ...
    (comp.lang.prolog)
  • Re: Prolog Execution Algorithm
    ... > algorithm, but I'm looking for a more elaborate version (with ... Some 20 years ago I wrote a simple Prolog interpreter, not using the WAM, ... You will see than query() procedure has more than three labels inside, ... goto A1; ...
    (comp.lang.prolog)
  • Re: Prolog Execution Algorithm
    ... > | prolog uses to solve a query. ... > | I know that the book by Ivan Bratko features a version of the ... > Patrick Herring, http://www.anweald.co.uk/ph ...
    (comp.lang.prolog)
  • Re: Return all points with x km of y
    ... > I'm trying to put together what I think is a fairly complex database ... > be able to query for two different things: ... There is a vast scientific literature on storing & retrieving spatial/cadastral information. ... To get the poiints within X kilometers, the simplest algorithm has two parts. ...
    (comp.lang.perl.misc)