examples/  -- Folder with some additional Datalog examples

full_mondial.dl -- set of Mondial Datalog facts (not needed for HW#4)

hw4-facts.dl -- use these facts for HW#4
hw4-sample-trace.txt -- example trace of HW#4 solutions