В учебном пособии излагаются основы программирования на языке Пролог, используемом для решения задач искусственного интеллекта и обработки сложных символьных структур. Разбираются методы и средства логического программирования, приводятся примеры пролог-программ. В пособие включен набор задач на логическое программирование, а также дается описание заданий практикума по программированию на языке Пролог, проводимого для студентов 4 курса факультета ВМК МГУ. pdf ~ 850 Kb. Скачать.
В данном методическом пособии дается описание заданий практикума на языке программирования Пролог для студентов 4 курса факультета ВМиК МГУ. Задания разработаны в поддержку основных курсов «Математическая логика» и «Искусственный интеллект». Приводятся подробные методические пояснения и рекомендации. pdf ~ 200 Kb. Скачать.
SWI Prolog
     Установщик (4.67 MB)
     SWI-Prolog-Editor
      Установщик (947 KB)
GNU Prolog     Установщик (3.41 MB)     ЧАВО Консольная версия.
Turbo Prolog . Архив zip ~ 800 Kb. Скачать
PDC Prolog. Архив zip ~ 1.5 Mb. Скачать
Visual Prolog. Архив rar ~ 53 Mb. Скачать         Visual Prolog для новичков. Руководство. Архив rar ~ 930 Kb. Скачать