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

Преподаватель - Габрельян Борис Витальевич

Задания к лабораторным работам и некоторые примеры  (23,2 КБ)

Вопросы к экзамену  (3,63 КБ).

Дистрибутивы Prolog'а:

Дистрибутив Arity Prolog v. 5.0 for DOS  (351 КБ) (От Габрельяна), необходимый для выполнения лабораторных работ.

Дистрибутив Arity Prolog v. 6.0 for DOS  (590 КБ), который можно использовать для выполнения лабораторных работ. Взят отсюда.

Дистрибутив Turbo Prolog v. 2.0 for DOS  (422 КБ) Copyright (c) 1986,88 by Borland International, Inc.

Дистрибутив Visual Prolog v. 5.1 Personal Edition for Windows (Есть и для Linux) (17,1 МБ). (Описание). (Теперь уже установлен в ДГТУ на компьютерах в а. 358. Но я эту ссылку нашёл на несколько лет раньше, чем они в ДГТУ.)

SWI-Prolog's Home

ПРОЛОГ полезные ссылки

Статьи по теме:

Пролог. Генезис (Статья из журнала "Мир ПК", Игорь Швыркин)

Описание языка Arity Prolog  (154 КБ) Формат - DOS TXT

Документация по системе Arity Prolog  (132 КБ) Формат - DOS TXT

Заметки о логическом программировании (с примерами программ)  (12,8 КБ) (Написанные мною) Формат - TXT

Скачать электронные учебники по теме:

Книга ''Братко Иван. Программирование на языке Пролог для искусственного интеллекта.'' Программирование на языке Пролог для искусственного интеллекта. Иван Братко. – М.: Мир, 1990. - самая известная книга о Прологе (на русском языке).

Я создал электронную версию этой книги (2 апреля 2004 года) и выложил её здесь. Исполнение электронной версии книги отвечает самым высоким требованиям качества.

Скачать книгу  "Программирование на языке Пролог для искусственного интеллекта (Иван Братко)"  (615 КБ). Формат - HTM (RUS).

На всякий случай выкладываю заготовки Gif-рисунков из этой книги. Эти заготовки были нарисованы мною в CorelDRAW v12 (а затем экспортированы в Gif и вставлены в книгу). Скачать пакет заготовок рисунков в формате *.cdr (987 КБ).

Купить книгу "Программирование на языке Пролог для искусственного интеллекта. (Иван Братко)" в бумажном виде можно здесь. Цена - 599 руб.

Logic, Programming and Prolog (2ed) by Ulf Nilsson and Jan Maluszynski (1,90 МБ). Формат - PDF (ENG).

Программирование на языке Пролог (У. Клоксин, К. Меллиш) (3,19 МБ). Формат - DJVU (RUS). Для просмотра необходим DjVu-плагин.
Зеркало (3,18 МБ). Формат - DJVU (RUS). Для просмотра необходим DjVu-плагин.

Prolog FAQ's:

Prolog Resource Guide 1/2 [Monthly posting]

Jamie Andrews FAQ answers

Ссылки по теме:

Система логического программирования "Пролог-Д"

Virtual Library

http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/index.html

ftp://ftp.inria.fr/INRIA/Projects/contraintes/gnu-prolog/

http://www.amzi.com/download/index.htm

http://www.amzi.com/download/amzi_16bit.htm

Список литературы по логическому программированию в библиотеке ДГТУ:

  1. Рубанчик В.Б. Введение в логическое программирование
    и программирование на Прологе - Ростов ДГТУ 1996 681.3 / Р82 - Очень полезная брошюра.
  2. Братко Иван. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, 1990. 681.3 Б87 .
  3. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. – М.: Мир, 1990.
  4. Малпас Дж. Реляционный язык Пролог и его применение. – М.: Наука, 1990.
  5. Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. – М.: Радио и связь, 1989.
  6. Ковальский Р. Логика в решении проблем. – М.: Наука, 1990.
  7. Приобретение знаний / Осуга С., Сазки Ю., Судзуки Х. и др. – М: Мир, 1990.
Сайт создан в системе uCoz