An Introduction to Programming in Prolog