Title: Applications of Prolog Theory and Practice