Для задач анализа и понимания естественных языков на примере формальной логики и методов автоматического доказательства теорем используется язык программирования ...