Slide 1 2. Syntax and Meaning Slide 2 Contents Data Objects Matching Declarative meaning of Prolog Procedural meaning Example: monkey and banana Order of clauses and goals…