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