Prolog Lecture 1 David Eyers Michaelmas 2008 Notes derived from those created by Andy Rice and Kate Taylor used with permission Course aims Introduce a declarative style…