Title: Introductory programming in PROLOG