The procedural meaning specifies how Prolog answers questions.
Input: a program and a goal list.
Output: a success/failure indicator and an instantiation of variables.
The meaning of the two output results is as follows:
The success/failure indicator is ‘yes’ if the goals are satisfiable and ‘no’ otherwise.
An instantiation of variables is only produced in the case of a successful termination; in the case of failure there is no instantiation.
Showing posts with label Procedural. Show all posts
Showing posts with label Procedural. Show all posts
Sunday, 18 January 2009
Subscribe to:
Posts (Atom)