wikiru.visual-prolog.com - Вклад [ru]

Книги по Прологу

2009-06-29T17:13:10Z

Elizabeth Safro: /* Книги по Visual Prolog в интернете */

==Общие книги по Прологу==
* Patrick Blackburn, Johan Bos, Kristina Striegnitz: ''Learn Prolog Now!'' College Publications, 2006, ISBN 1-904987-17-6
* Neil C Rowe, ''Artificial Intelligence Through Prolog'', Prentice-Hall, Inc, 1988, ISBN 0-13-0449362-7
* W.F. Clocksin C.S. Mellish, ''Programming in Prolog'', Springer-Verlag, 1984, ISBN 3-540-15011-0
* Leon Sterling and Ehud Shapiro, E, ''Art of Prolog Advanced Programming Techniques'', 1994, ISBN 0-262-19338-8
* Ivan Bratko, ''PROLOG Programming for Artificial Intelligence'', 3rd. ed., Addison Wesley Pub Co, 2001, ISBN 0-201-40375-7
**Программирование на языке Пролог для искусственного интеллекта. Иван Братко. – М.: Мир, 1990.
* Michael Covington, Donald Nute, Andre Vellino, ''Prolog Programming in Depth'', Upper Saddle River, NJ: Prentice-Hall, 1997, ISBN 0-13-138645-X

==Книги по [[Turbo Prolog]]==
* Neil C. Rowe, ''Artificial Intelligence Through Prolog'', Englewood Cliffs, NJ: Prentice-Hall, 1988, ISBN 0-13-048679-5
[http://www.cs.nps.navy.mil/people/faculty/rowe/book/book.html Текст доступен через Интернет].
* Herbert Schildt, ''Advanced Turbo Prolog'',McGraw-Hill Inc, 1987, ISBN 0-078-81285-2
* Dan Shafer, ''Advanced Turbo Prolog Programming'', Howard W. Sams & Company, 1987, ISBN 0-672-22573-5
* Keith Weiskamp and Terry Hengl, ''Artificial Intelligence Programming with Turbo Prolog'', John Wiley & Sons Inc., 1988, ISBN 0-471-62752-6
* Safaa H. Hashim and Philip Seyer, ''Turbo Prolog, Advanced Programming Techniques'', TAB BOOKS Inc, 1988, ISBN 0-8306-9308-3
* Safaa H. Hashim, ''Exploring Hypertext Programming - Writing Knowledge Representation and Problem-solving Programs'', Windcrest Books, 1990, ISBN 0-8306-3208-5

==Книги по Visual Prolog в Интернете на русском языке==
* Eduardo Costa, ''[[Visual Prolog для чайников]]''.

==Книги по Visual Prolog в Интернете на других языках==
[http://wiki.visual-prolog.com/index.php?title=Prolog_Books Список книг по Visual Prolog] в английской версии [http://wiki.visual-prolog.com/index.php?title=Main_Page Visual Prolog wiki]

==Книги по Прологу на других языках==

===Книги по Прологу на финском языке===
* Jaak Henno, ''Prolog ja Olympoksen jumalat'', WSOY, 1991, ISBN 951-0-16963-3
* Erkki Laitila, ''Visual Prolog perusteet'', Teknolit, 1996, ISBN 952-9823-27-4
* Erkki Laitila, ''Teollisuuden sovellukset: Visual Prolog'', Teknolit, 1996, ISBN 952-9823-51-7

[[en:Prolog Books]]

Анонимные предикаты

2009-05-26T11:25:22Z

Elizabeth Safro:

Анонимные предикаты - новая возможность компилятора, которая реализована начиная с версии 7.2

===Вступление===
Пример использования:

<Vip>
interface авто
properties
цена : unsigned(o).
end interface авто

class выборАвтомобиля
predicates
неДорогие : () -> авто* Результат.
...
implement выборАвтомобиля
clauses
неДорогие() = list::filter({(Авто) :- Авто:цена <= 10000, !}, списокАвтомобилей).
...
</Vip>

Казалось бы ничего нового, ведь то же самое можно записать при помощи дополнительного предиката. Например так
<Vip>predicates
фильтрДляНедорогих : (авто Авто).
clauses
фильтрДляНедорогих(Авто) :- Авто:цена <= 10000, !.
clauses
неДорогие() = list::filter(фильтрДляНедорогих, списокАвтомобилей).</Vip>

Но сегодня для нас сумма 10000 является пределом мечтаний, а завтра 12000, как быть? Есть два решения, или менять константу, или добавить факт-переменную. Анонимный предикат позволит сделать это изящней.
<Vip>predicates
неДорогие2 : (unsigned НашиВозможности).
clauses
неДорогие2(НашиВозможности) = list::filter({(Авто) :- Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>

Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооружённым глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.

===Погружение===
Давайте еще усложним наш пример, не сильно отрываясь от реальности. Представим, что у нас есть следующий интерфейс:
<Vip>interface покупатель
properties
зарплата : unsigned(o).
фильтрМашин : () -> list::filter.
end interface покупатель</Vip>
Попробуем написать реализацию
<Vip>implement покупатель
facts
зарплата : unsigned.
clauses
фильтрМашин() =

{(Авто) :- Авто:цена <= НашиВозможности, !}, списокАвтомобилей)
implement покупатель</Vip>

===Детали реализации===
===Где использовать===

Это неоконченная статья

[[Категория:VipLanguage]]

Visual Prolog для чайников

2008-12-09T16:42:04Z

Elizabeth Safro: /* Скачать */

Книга ''Visual Prolog для начинающих'' (более точно, ''Visual Prolog 7.1 для новичков''; в оригинале Visual Prolog for Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Первое издание книги Эдуардо Коста выпустил для Visual Prolog 6.0. Во время переизданий книги для последующих версий Visual Prolog, вплоть до версии 7.0 включительно, она претерпевала небольшие изменения. Для версии Visual Prolog 7.1 автор подверг книгу существенной переработке и дополнительно включил в нее несколько глав.

В предисловии к предыдущим версиям говорилось ''... But since you neither want to be called dummy nor are willing to face Le Marquis, the title of this doc is Prolog for tyros, not for dummies.'' - Но поскольку вы не хотите называться чайниками, но также и не хотите встретиться с Маркизом (Лапласом, книги которого были слишком сложны для непосвященных - ''Е.Е.''), в названии данного текста написано ''Пролог для новичков'', а не для чайников.

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

В 2006 году студент Марк Сафронов начал работу над переводом на русский язык книги Эдуардо Косты "Visual Prolog 7.0 for Tyros". В окончательном варианте своего перевода этой книги он учёл ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу].

В 2007 году Марк Сафронов начал переводить книгу "Visual Prolog 7.1 for Tyros" на русский язык и опубликовал незавершённую версию перевода.

В 2008 году студент РГГУ Иван Алексеев решил продолжить работу над переводом. Фактически, он начал новый перевод данной книги. Новый перевод завершила и отредактировала к.ф.-м.н., доцент РГГУ Елена Ефимова. Этот перевод опубликован под названием "[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog 7.1 для начинающих]". Это пока единственный текст, содержащий полный перевод оригинала.

Параллельно Марк Сафронов продолжал работу над переводом. Его перевод опубликован под заголовком "[http://download.pdc.dk/vip/71/Costas-Tyros_rus_MS.pdf Visual Prolog 7.1 for Tyros]". В него также помещены примечания, сделанные участниками русскоязычного Форума по Прологу во время обсуждения перевода Visual Prolog 7.0 for Tyros.

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Меньше иллюстраций
**Предложения Хорна
**Консольные приложения
**Грамматика
**Рисование
**Типы данных
**Как решать это в Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано
**L-системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Вкладки и не только
**Ошибки
**Управление базой данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Альфа-бета отсечение

===Скачать===
*[http://download.pdc.dk/vip/72/books/tyros/tyros72.pdf Visual Prolog 7.2 for Tyros] - оригинал, пререлиз (English, PDF format).
*[http://download.pdc.dk/vip/72/books/tyros/tyros72.zip Examples to Visual Prolog 7.2 for Tyros] (zip format)
<br />

*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog 7.1 для начинающих - перевод] (Язык:Ru; PDF формат, 210 страниц, 4.8 Mb)
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus_MS.pdf Visual Prolog 7.1 for Tyros - перевод] (Язык:Ru; PDF формат, 172 страницы, 4.74 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog for Tyros

2008-12-09T15:22:11Z

Elizabeth Safro: Перенаправление на Visual Prolog для чайников

#REDIRECT [[Visual Prolog для чайников]]

Visual Prolog для чайников

2008-10-31T13:35:19Z

Elizabeth Safro:

Книга ''Visual Prolog для начинающих'' (более точно, ''Visual Prolog 7.1 для новичков''; в оригинале Visual Prolog for Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

В 2006 году студент Марк Сафронов начал работу над переводом на русский язык книги Эдуардо Косты "Visual Prolog 7.0 for Tyros". В окончательном варианте своего перевода этой книги он учёл ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу].

В 2007 году Марк Сафронов начал переводить книгу "Visual Prolog 7.1 for Tyros" на русский язык и опубликовал незавершённую версии перевода.

В 2008 году студент РГГУ Иван Алексеев решил продолжить работу над переводом. Фактически, он начал новый перевод данной книги. Перевод завершила и отредактировала к.ф.-м.н., доцент РГГУ Елена Ефимова. Этот вариант перевода опубликован под названием "[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog 7.1 для начинающих]".

Параллельно Марк Сафронов продолжал работу над переводом. Его перевод опубликован под заголовком "[http://download.pdc.dk/vip/71/Costas-Tyros_rus_MS.pdf Visual Prolog 7.1 for Tyros]".

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Меньше иллюстраций
**Предложения Хорна
**Консольные приложения
**Грамматика
**Рисование
**Типы данных
**Как решать это в Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано
**L-системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Вкладки и не только
**Ошибки
**Управление базой данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Альфа-бета отсечение

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog 7.1 для начинающих - перевод] (Язык:Ru; PDF формат, 4.8 Mb)
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus_MS.pdf Visual Prolog 7.1 for Tyros - перевод] (Язык:Ru; PDF формат, 4.74 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog для чайников

2008-10-13T17:07:47Z

Elizabeth Safro:

''Visual Prolog для Чайников'' (в оригинале Visual Prolog For Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Мы представляем здесь перевод, выполненный Марком Сафроновым и дополненный и переработанный И. Алексеевым.

Редактор перевода: Е.А. Ефимова.

Переводчиками учтён ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу].

Данное издание книги посвящено VisualProlog 7.1.

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Некоторые изображения
**Хороновские Клаузы
**Консольные приложения
**Грамматики
**Рисование
**Типы данных
**Как это решается на Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано (Giuseppe Peano)
**L-Системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Фомы с закладками и прочие прелести
**Ошибки
**Менеджер баз данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Alpha Beta Pruning

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog для чайников - перевод] (Язык:Ru; PDF формат, 4.8 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog для чайников

2008-10-13T15:07:00Z

Elizabeth Safro:

''Visual Prolog для Чайников'' (в оригинале Visual Prolog For Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Мы представляем здесь перевод,выполненный Марком Сафроновым и дополненный и переработанный И. Алексеевым.

Редактор перевода: Е.А. Ефимова.

Переводчиками учтён ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу].

Данное издание книги посвящено VisualProlog 7.1.

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Некоторые изображения
**Хороновские Клаузы
**Консольные приложения
**Грамматики
**Рисование
**Типы данных
**Как это решается на Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано (Giuseppe Peano)
**L-Системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Фомы с закладками и прочие прелести
**Ошибки
**Менеджер баз данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Alpha Beta Pruning

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog для чайников - перевод] (Язык:Ru; PDF формат, 4.8 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog для чайников

2008-10-13T15:03:52Z

Elizabeth Safro:

''Visual Prolog для Чайников'' (в оригинале Visual Prolog For Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Мы представляем здесь перевод,выполненный Марком Сафроновым и дополненный и переработанный И. Алексеевым.

Редактор перевода: Е.А. Ефимова, 2008

Переводчиками учтён ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу]

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Некоторые изображения
**Хороновские Клаузы
**Консольные приложения
**Грамматики
**Рисование
**Типы данных
**Как это решается на Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано (Giuseppe Peano)
**L-Системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Фомы с закладками и прочие прелести
**Ошибки
**Менеджер баз данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Alpha Beta Pruning

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog для чайников - перевод] (Язык:Ru; PDF формат, 4.8 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog для чайников

2008-10-13T15:03:28Z

Elizabeth Safro:

''Visual Prolog для Чайников'' (в оригинале Visual Prolog For Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Мы представляем здесь перевод,выполненный Марком Сафроновым и дополненный и переработанный И. Алексеевым.
Редактор перевода: Е.А. Ефимова, 2008

Переводчиками учтён ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу]

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Некоторые изображения
**Хороновские Клаузы
**Консольные приложения
**Грамматики
**Рисование
**Типы данных
**Как это решается на Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано (Giuseppe Peano)
**L-Системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Фомы с закладками и прочие прелести
**Ошибки
**Менеджер баз данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Alpha Beta Pruning

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog для чайников - перевод] (Язык:Ru; PDF формат, 4.8 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog для чайников

2008-10-13T15:02:48Z

Elizabeth Safro:

''Visual Prolog для Чайников'' (в оригинале Visual Prolog For Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Мы представляем здесь перевод,выполненный Марком Сафроновым и дополненный и переработанный И. Алексеевым. Редактор перевода: Е.А. Ефимова, 2008

Переводчиками учтён ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу]

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Некоторые изображения
**Хороновские Клаузы
**Консольные приложения
**Грамматики
**Рисование
**Типы данных
**Как это решается на Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано (Giuseppe Peano)
**L-Системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Фомы с закладками и прочие прелести
**Ошибки
**Менеджер баз данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Alpha Beta Pruning

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog для чайников - перевод] (Язык:Ru; PDF формат, 4.8 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]

Visual Prolog для чайников

2008-10-13T14:55:07Z

Elizabeth Safro: /* Скачать */ Ссылки

''Visual Prolog для Чайников'' (в оригинале Visual Prolog For Tyros), написанная Eduardo Costa, пока является наиболее подробной книгой по Visual Prolog.

Мы представляем здесь макет перевода, который вместе с форматированием выполнил Марк Сафронов.
Переводчиком учтён ряд замечаний, сделанных участниками русскоязычного [http://www.progz.ru/forum/index.php?showforum=10 Форума по Прологу]

Перевод нельзя считать законченным в силу терминологических проблем, с которыми встретился переводчик.

===Содержание===

*I Savoir-faire
**Введение
**Формы
**События мыши
**Некоторые изображения
**Хороновские Клаузы
**Консольные приложения
**Грамматики
**Рисование
**Типы данных
**Как это решается на Прологе
**Факты
**Классы и Объекты
**Джузеппе Пеано (Giuseppe Peano)
**L-Системы
**Игры
**Анимация
**Текстовый редактор
**Печать
**Фомы с закладками и прочие прелести
**Ошибки
**Менеджер баз данных
**Книги и статьи
*II Искусственный интеллект
**Поиск
**Нейронные сети
**Alpha Beta Pruning

===Скачать===
*[http://download.pdc.dk/vip/71/Costas-Tyros.pdf Visual Prolog 7.1 for Tyros - оригинал] ( Язык:En. PDF формат, 252 страницы).
*[http://download.pdc.dk/vip/71/Costas-Tyros_rus.pdf Visual Prolog для чайников - перевод] (Язык:Ru; PDF формат, 4.8 Mb)


Примеры
*[http://download.pdc.dk/vip/71/Costas-Tyros.zip Примеры к руководству] (ZIP формат)

==Ссылки==
[[en:Visual Prolog for Tyros]]
[[Category:VipРуководства]]