Title: Applications of PROLOG