Up Next
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.
  1. Give a sequence of atoms added to the consequence set for a bottom-up proof procedure. Show clearly what is the consequence set.
  2. Give a top-down derivation for the query
  3. Give a failing derivation for the query ?flow(d1).
  • Solution

  • David Poole

    Up Next