Introduction to programming in Prolog