Text this: Further programming in PROLOG: writing application programs /