Գրեք սա: Computational logic and ecological rationality