The top documents tagged [horn clausesif]

DCP 1172 Introduction to Artificial Intelligence

---

43 views

CS 337 Programming Languages Logic Programming I (Logic, Intro to Prolog)

---

249 views