Pošalji tekstualnu poruku: Enhancing datalog reasoning with hypertree decompositions