Seol mar théacs é seo: The art of Prolog /