Re: Prolog Execution Algorithm



"Struiver" <dieter.vanderelst@xxxxxxxxx> wrote:
|
| 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).

"Introduction to Logic Programming" by Chris Hogger has a detailed
account.

--
Patrick Herring, http://www.anweald.co.uk/ph
.



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
    ... > 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)
  • Prolog Execution Algorithm
    ... 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 ...
    (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)
  • Re: What to learn?
    ... there is also specific language idioms that he ... > sample code, and will be built from the textual explaination on how ... the Algorithmics and Datastructures courses would use pseudocode. ... of the uglyness that stuff like pointers adds to an algorithm. ...
    (comp.lang.cpp)