home   |   А-Я   |   A-Z   |   меню

Клоксин У + Меллиш К

Программирование на языке Пролог

Программирование на языке Пролог Annotation:
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Read this book now
Download in formats: fb2 727k, lrf 1m, epub 1m, mobi 1m, txt, html

hide Table of Contents

  1. У.Клоксин, К.Меллиш ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ Для программистов и пользователей ЭВМ.
  2. ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА
  3. ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
  4. ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ
  5. ГЛАВА 1 ВВЕДЕНИЕ
  6. 1.1. Факты
  7. 1.2. Вопросы
  8. 1.3. Переменные
  9. 1.4. Конъюнкции
  10. 1.5. Правила
  11. 1.6. Заключение и упражнения
  12. ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ
  13. 2.1. Синтаксические правила
  14. 2.1.1. Константы
  15. 2.1.2. Переменные
  16. 2.1.3. Структуры
  17. 2.2. Литеры
  18. 2.3. Операторы
  19. 2.4. Равенство и установление соответствия
  20. 2.5. Арифметика
  21. 2.6. Общая схема согласования целевых утверждений
  22. 2.6.1. Успешное доказательство конъюнкции целевых утверждений
  23. 2.6.2. Рассмотрение целевых утверждений при использовании механизма возврата
  24. 2.6.3. Установление соответствия
  25. ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ
  26. 3.1. Структуры и деревья
  27. 3.2. Списки
  28. 3.3. Принадлежность элементов списку
  29. 3.4. Пример: преобразование предложений
  30. 3.5. Пример: упорядочение по алфавиту
  31. 3.6. Использование предиката присоединить и спецификация деталей
  32. ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ
  33. 4.1. Порождение множественных решений
  34. 4.2. Отсечение
  35. 4.3. Общие случаи использования отсечения
  36. 4.3.1. Подтверждение правильности выбора правила
  37. 4.3.2. Комбинация «отсечение-fail»
  38. 4.4. Проблемы, связанные с использованием отсечения
  39. ГЛАВА 5 ВВОД И ВЫВОД
  40. 5.1. Ввод и вывод термов
  41. 5.1.1. Вывод термов
  42. 5.1.2. Ввод термов
  43. 5.2. Ввод и вывод литер
  44. 5.2.1. Вывод литер
  45. 5.2.2. Ввод литер
  46. 5.3. Ввод предложений
  47. 5.4. Чтение файлов и запись в файлы
  48. 5.4.1. Запись в файлы
  49. 5.4.2. Чтение файлов
  50. 5.4.3. Ввод программ
  51. 5.5. Объявление операторов
  52. ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ
  53. 6.1. Ввод новых утверждений
  54. consult(X)
  55. reconsult(X)
  56. Списковая форма записи
  57. 6.2. Выполнение и невыполнение целевого утверждения
  58. true
  59. fail
  60. 6.3. Классификация термов
  61. var(X)
  62. nonvar(X)
  63. atom(X)
  64. integer(X)
  65. atomic(X)
  66. 6.4. Работа с утверждениями как с термами
  67. listing (A)
  68. clause(X, Y)
  69. asserta(X), assertz(X)
  70. retract(X)
  71. 6.5. Создание структур и работа с компонентами структур
  72. functor(T,F,N)
  73. arg(N,T,A )
  74. X=..L
  75. name( А,L)
  76. 6.6. Воздействие на процесс возврата
  77. Отсечение
  78. repeat
  79. 6.7. Формирование составных целевых утверждений
  80. Конъюнкция целей
  81. Дизъюнкция целей
  82. call(X)
  83. not(X)
  84. 6.8. Равенство
  85. X=Y
  86. X=Y
  87. X==Y
  88. Х == Y
  89. 6.9. Ввод и вывод данных
  90. get0(X)
  91. get(X)
  92. skip(X)
  93. read(X)
  94. put(X)
  95. nl
  96. tab(X)
  97. write(X)
  98. display(X)
  99. op(X,Y,Z)
  100. 6.10. Обработка файлов
  101. see(X)
  102. seeing(X)
  103. seen
  104. tell(X)
  105. telling (X)
  106. told
  107. 6.11. Вычисление арифметических выражений
  108. X is Y
  109. X + Y
  110. X – Y
  111. X * Y
  112. X / Y
  113. X mod Y
  114. 6.12. Сравнение чисел
  115. X = Y
  116. X = Y
  117. X ‹ Y
  118. X › Y
  119. X ›= Y
  120. X = ‹ Y
  121. 6.13. Наблюдение за выполнением программы на Прологе
  122. trace
  123. notrace
  124. spy Р
  125. debugging
  126. nodebug
  127. nospy
  128. ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ
  129. 7.1. Словарь в виде упорядоченного дерева
  130. 7.2. Поиск в лабиринте
  131. 7.3. Ханойские башни
  132. 7.4. Справочник комплектующих деталей
  133. 7.5. Обработка списков
  134. 7.6. Представление и обработка множеств
  135. 7.7. Сортировка
  136. 7.8. Использование базы данных: random, генатом, найтивсе
  137. Генератор случайных чисел (random)
  138. Генератор имен (генатом)
  139. Генератор списков структур (найтивсе)
  140. 7.9. Поиск по графу
  141. 7.10. Просеивай Двойки, Просеивай Тройки
  142. 7.11. Символьное дифференцирование
  143. 7.12. Отображение структур и преобразование деревьев
  144. 7.13. Применение предикатов clause и retract
  145. ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ
  146. 8.1. Расположение текстов программ
  147. 8.2. Типичные ошибки
  148. 8.3. Модель трассировки
  149. CALL
  150. EXIT
  151. REDO
  152. FAIL
  153. 8.4. Трассировка и контрольные точки
  154. Выдача информации о цели
  155. Выдача информации о предшественниках
  156. Изменение уровня трассировки
  157. Вмешательство в процесс согласования цели
  158. Другие команды
  159. Заключение
  160. 8.5. Фиксация ошибок
  161. ГЛАВА 9. ИСПОЛЬЗОВАНИЕ ГРАММАТИЧЕСКИХ ПРАВИЛ В ПРОЛОГЕ
  162. 9.1. Проблема синтаксического анализа
  163. 9.2. Описание синтаксического анализа на языке Пролог
  164. 9.3. Запись грамматических правил в Прологе
  165. 9.4. Присоединение дополнительных аргументов
  166. 9.5. Введение дополнительных условий
  167. 9.6. Заключение
  168. ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
  169. 10.1. Краткое введение в исчисление предикатов
  170. 10.2. Приведение формул к стандартной форме
  171. Этап 1 - исключение импликаций и зквивалентностей
  172. Этап 2 - перенос отрицания внутрь формулы
  173. Этап 3 - сколемизация
  174. Этап 4 - вынесение кванторов общности в начало формулы
  175. Этап 5 - использование дистрибутивных законов для  & и #
  176. Этап 6 - выделение множества дизъюнктов
  177. 10.3. Форма записи дизъюнктов
  178. 10.4. Принцип резолюций и доказательство теорем
  179. 10.6. Пролог
  180. 10.7. Пролог и логическое программирование
  181. ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ
  182. 11.1. Простые проекты
  183. 11.2. Более сложные проекты
  184. ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ
  185. ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ
  186. Этап 1 - исключение импликаций
  187. Этап 2 - перенос отрицания внутрь формулы
  188. Этап 3 - сколемизация
  189. Этап 4 - вынесение кванторов общности в начало формулы
  190. Этап 5 - использование дистрибутивных законов для.  & и #
  191. Этап 6 - выделение множества дизъюнктов
  192. Печать утверждений
  193. ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ
  194. Синтаксис
  195. Различные ограничения
  196. Возможности окружения
  197. Компиляция
  198. Специальные встроенные предикаты
  199. Средства отладки
  200. ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10
  201. Пример сеанса работы
  202. Синтаксис
  203. Различные ограничения
  204. Возможности окружения
  205. Компиляция
  206. Различия во встроенных предикатах
  207. Дополнительные встроенные предикаты
  208. Средства отладки
  209. Литература
  210. ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ
  211. Пример сеанса работы
  212. Синтаксис
  213. Различные ограничения
  214. Возможности окружения
  215. Специальные встроенные предикаты
  216. Средства отладки
  217. Литература
  218. ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ [19]
  219. Пример сеанса работы
  220. Синтаксис
  221. Модульность
  222. Компоненты системы МПролог
  223. Различные ограничения
  224. Дополнительные встроенные предикаты
  225. Средства отладки
  226. Литература
  227. Примечания


Rate this book  


Reviews

5*****

Оценка 5 из 5 звёзд от rturj 17.09.2015 11:08  

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

Оценка 5 из 5 звёзд от Артур Латунов 08.01.2014 08:08  


Enter your name:     Rate this book

Enter your comments or review:


получать комментарии о книге Программирование на языке Пролог на e-mail

Anti-spam code Anti spam Capcha