Re: Prolog Execution Algorithm

"Struiver" <dieter.vanderelst@xxxxxxxxx> wrote in message
news:1129839379.263031.271080@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
> 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).

Well, there are different approaches to implement prolog, wiht consequently
different algorithms. But try to get a hold of WAM thesis (ort any text on
WAM), which descirbes efficient abstract machine that executes compiled
prolog.

rush
--
http://www.templatetamer.com/
http://www.folderscavenger.com/


.

Relevant Pages

  • Re: Prolog Execution Algorithm
    ... prolog uses to solve a query. ... algorithm, but I'm looking for a more elaborate version (with ... WAM), which descirbes efficient abstract machine that executes compiled ... the reverse direction. ...
    (comp.lang.prolog)
  • Re: Thinking Recursion
    ... store it in parameters, rules, or others (by example, SWI has several very interesting methods) is only a subject of performance in execution/memory/... ... gave for the Dijkstra shortest path algorithm is a good example, ... found in Prolog, and the chances are the algorithm expressed in this ... way will look a lot clearer than the version which uses assert/retract. ...
    (comp.lang.prolog)
  • Re: Thinking Recursion
    ... You might think that enlarging the accepted input makes your program superior to programs that did stick to the OP's restrictions, but I think you would be mistaken. ... more near to LISP than to prolog. ... assert/retract and cut are sometimes taken as the worst things of the world. ... Dijkstra algorithm, sprinkled with assert/retract? ...
    (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)