Prolog and evaluating expressions



I'm trying to write this prolog interpreter but i encountered a
problem. Let's say i'm evaluating a rule and i found a possible
solution. How will i store my current position in the parse tree of
the rule if i'm going back to it when i backtrack? I'm thinking of
using a stack but then, i have no idea how to use it for this
application. Do you guys have any opinions on the matter?
.



Relevant Pages

  • Re: error handling question on threads
    ... It's just a matter of taste and style. ... single test. ... (Using the fact that C will stop evaluating once the ...
    (comp.programming.threads)
  • Re: How do you do this?
    ... possibility of evaluating such expressions during runtime is, ... And as a matter of fact I was trying out just such ... a solution (well actually a similar one in Common Lisp and with a ... values, and reconstruct by hand the lexical scope, whereas in Python ...
    (comp.lang.scheme)
  • Re: error handling question on threads
    ... It's just a matter of taste and style. ... single test. ... (Using the fact that C will stop evaluating once the ...
    (comp.programming.threads)
  • Re: Quest Central vs. CA Productivity Pack
    ... > My company is evaluating which one of these products to get. ... > Thoughts, opinions, and/or experiences are greatly welcome... ... Did you check the stuff that comes with Oracle? ... Like SQL*Plus and Enterprise Manager (OEM). ...
    (comp.databases.oracle.tools)
  • Thank you
    ... I just wanted to take the chance to thank everyone who submitted their ... opinions on the "Best Network Scanner" question I posed recently. ... been evaluating many of the free and commercially recommended software from ...
    (Security-Basics)