Text this: The art of Prolog: