Отправить по sms: Enhancing datalog reasoning with hypertree decompositions