Text this: Techniques of Prolog programming :