Title: An Introduction to Programming in Prolog