Slide 1 F28PL1 Programming Languages Lecture 17: Prolog 2 Slide 2 Search summary question is: – term or a conjunction of terms – goal which the system tries to satisfy…