На этой страничке Вы можете предварительно ознакомить с книгой "Пролог (язык программирования)", автором которой является . Скачать книгу "Пролог (язык программирования)" полностью в архиве можно перейдя по соответствующей ссылке. Другие книги Вы найдёте воспользовавшись поиском книг по автору или по названию произведения. Книгу "Пролог (язык программирования)" скачали в нашем Клубе Аудиокниг уже 760 раз. База произведений постоянно растет, данная книга была добавлена "Пролог (язык программирования)". Надеемся это именно то, что Вы искали.

 разбор запросов на 
естественном языке - вы работаете с предложениями, словами и лексемами, а 
не организовываете циклы для посимвольного анализа строки. 
Соответственно, для широкого круга задач значительно (до порядка) 
возрастает скорость разработки, и дополнительно обеспечивается очень 
высокая надежность программы. А современные профессиональные Пролог-
системы обеспечивают скорость работы, не уступающую скорости 
выполнения аналогичных программ, написанных на Си. Конечно, если не 
решать на Прологе задачи обращения степенного ряда.
Однако в России уже очень давно ведутся работы над языком РЕФАЛ, 
имеющим сходную с Прологом декларативную идеологию. Но если раньше про 
Пролог говорили, что это "самый функциональный из декларативных языков и 
наоборот", то по крайней мере самым функциональным из декларативных 
сегодня является именно РЕФАЛ-5.


2. Краткое описание синтаксиса.

Пролог
Данную главу нельзя рассматривать как учебник по языку Пролог, а 
только как краткий "ликбез", служащий для иллюстрации принципов 
продукционного программирования, описанных выше.
  
 
Синтаксис
ТЕРМЫ
Объекты данных в Прологе называются термами. Терм может быть 
константой, переменной или составным термом (структурой). 
Константами являются целые и действительные числа, например:
0, -l, 123.4, 0.23E-5,
(некоторые реализации Пролога не поддерживают действительные 
числа).
К константам относятся также атомы, такие, как:
голди, а, атом, +, :, 'Фред Блогс', [].
Атом есть любая последовательность символов, заключенная в 
одинарные кавычки. Кавычки опускаются, если и без них атом можно 
отличить от символов, используемых для обозначения переменных. 
Приведем еще несколько примеров атомов:
abcd, фред, ':', Джо.
Полный синтаксис атомов описан ниже.
Как и в других языках программирования, константы обозначают 
конкретные элементарные объекты, а все другие типы данных в 
Прологе составлены из сочетаний констант и переменных.
Имена переменных начинают