Mickey - this is how "not()" is (or can be) implemented. To see how it works, and to gain a much better understanding of how prolog works, I encourage you to try tracing through the search tree in both the "X is true" and "X is false" cases. Remember: prolog tries rules from top to bottom, and satisfies subgoals from left to right.