أرسل هذا في رسالة قصيرة: Enhancing datalog reasoning with hypertree decompositions