CS 363 Comparative Programming Languages Logic Programming Languages Chapter 16 Topics An Overview of Logic Programming The Origins of Prolog The Basic Elements of Prolog…