The top documents tagged [atom mia]

Prolog2 a Unificationv1

---

220 views

Prolog: Unification & Recursion © Patrick Blackburn, Johan Bos & Kristina Striegnitz.

---

222 views

© Patrick Blackburn, Johan Bos & Kristina Striegnitz Lecture 2 Theory –Unification –Unification in Prolog –Proof search Exercises –Correction exercises.

---

223 views