Go backward to Solution to part (a).
Go up to 3 House Plumbing
Go forward to Solution to part (c).
Solution to part (b).
Axiomatize how the floor is wet if the sink overflows or the
bath overflows. They overflow if the plug is in and water is flowing
in. You may invent new predicates as long as you give their intended
Here is the minimal set of clauses:
wet(floor) <- wet(sink) & plugged(sink).
wet(floor) <- wet(bath) & plugged(bath).
material, ©David Poole, Alan Mackworth and Randy Goebel, 1999