Slide 1 Prolog: Unification & Recursion http://www.learnprolognow.org © Patrick Blackburn, Johan Bos & Kristina Striegnitz Slide 2 Unification Recall previous example,…
Slide 1 © Patrick Blackburn, Johan Bos & Kristina Striegnitz Lecture 2 Theory –Unification –Unification in Prolog –Proof search Exercises –Correction exercises…