Seol mar théacs é seo: Logic Programming '89 :