Seol mar théacs é seo: Computational logic and ecological rationality