Go up to Top
Go forward to Question 2
The file plumbing2.pl
(also available in
contains a CILog axiomatization for the solution to assignment 1.
- Give a sequence of atoms added to the consequence set for a
bottom-up proof procedure. Show clearly what is the consequence set.
- Give a top-down derivation for the query
- Give a failing derivation for the query ?flow(d1).