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.
