text: Например, искусственный интеллект; язык Пролог и логическое программирование для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта; логика для описания пространственного положения и перемещения; логика в информационных технологиях.