Text this: The Art of Prolog