Книга: Логическое программирование

Излагаются основы инструментария языка Prolog, методы применения этого инструментария для решения таких задач искусственного интеллекта, как представление знаний, автоматические рассуждения, распознавание речи, машинное обучение.

Учебное пособие ориентировано на подготовку студентов технических вузов, обучающихся по специальностям группы 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность», может оказаться полезным студентам, обучающимся по специальностям 01.03.02 и 01.04.02 «Прикладная математика и информатика» и аспирантам.