Pošljite SMS: Применение методов математической логики. Секция : Представление знаний и синтез программ