Text this: Prolog by example: