Documents A Second Look At Prolog Chapter TwentyModern Programming Languages, 2nd ed.1.

Slide 1A Second Look At Prolog Chapter TwentyModern Programming Languages, 2nd ed.1 Slide 2 Outline n Unification n Three views of Prolog’s execution model – Procedural…