Proving
To answer these kinds of queries, Prolog must search through the facts and the rules in all possible combinations
If Prolog can’t find a proof, then it says that the theorem is false
- Closed world assumption
- How valid is this assumption?
- ?-parent(hillary,chelsea)