CS 603: Programming Languages Lecture 25 Spring 2004 Department of Computer Science University of Alabama Joel Jones Prolog PROgramming in LOGic Algorithm = Logic + Control…