Title: Introduction to Programming in Prolog