Title: Applications of PROLOG for Teachers