Anfonwch hwn fel neges destun: Enhancing datalog reasoning with hypertree decompositions