Text this: Prolog by example :