Seol mar théacs é seo: Further programming in PROLOG : writing application programs /