Go up to Top
Go forward to Question 2
Question 1
The file plumbing2.pl
(also available in ~cs322/cilog/)
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
?flow(d1).
- Give a failing derivation for the query ?flow(d1).
David Poole