Predicate Calculus as Programming Language
- New knowledge or methods can be added.
Advantage: In theory, at least, the program can
immediately combine new knowledge with existing knowledge.
Disadvantage: The ``new knowledge'' may contradict
or subsume existing knowledge without our being aware of it.
- Predicate Calculus is completely ``unstructured''. Any
two clauses which are unifiable may interact.
- In order to make a program run in a reasonable length of
time, it is usually necessary to restructure clauses to:
- Order the search so the desired solution will be
- Reduce the branching factor of the search tree.