Seol mar théacs é seo: Algebra of Logic Programming