Text this: Knowledge Systems and Prolog