Text this: Prolog through examples /