Text this: The art of prolog: