Title: Introduction to Applications of Prolog