next up previous contents
Next: Meta-Programming Up: Negation in XSB Previous: Approximate Reasoning

General Negation

Well-founded semantics of non-stratified negation.

We need examples! Planning? Use for-all type problems, e.g. to find if all nodes reachable from a given node are red, find if it is not the case that there exists a node reachable from the given node that is not red.



David S. Warren
1999-07-31