发送短信: Enhancing datalog reasoning with hypertree decompositions