Text this: Start problem-solving with Prolog