next up previous
Next: Search Up: Lazy Previous: Query


Eval is a procedure that finds the value of a fact f by using all the resources of a module: the user, its submodules, rules, meta-rules and so on.


It consists in searching (Search) which is the information from outside the module needed to solve f, obtaining that information and finally updating (Update) the state of the module. This process stops when a value for f is found.


Josep Puyol-Gruart
Thu Oct 23 15:34:13 MET DST 1997