Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.Содержание
Оглавление статьи/книги
- ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА
- ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
- ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ
- ГЛАВА 1 ВВЕДЕНИЕ
- ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ
- ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ
- ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ
- ГЛАВА 5 ВВОД И ВЫВОД
- ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ
- ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ
- ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ
- ГЛАВА 9. ИСПОЛЬЗОВАНИЕ ГРАММАТИЧЕСКИХ ПРАВИЛ В ПРОЛОГЕ
- ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
- ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ
- ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ
- ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ
- ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ
- ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10
- ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ
- ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ
- Сноски из книги
- Содержание книги
- Популярные страницы
Похожие страницы
- 1.1. Введение в объектно-ориентированное программирование
- Программирование на языке Пролог для искусственного интеллекта
- 15.4. Программирование для отладки
- ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
- Резюме
- 6.7. Формирование составных целевых утверждений
- 3.4. Арифметические действия
- 2.6.2. Варианты программы, полученые путем переупорядочивания предложений и целей
- 16.3. Простая программа для автоматического доказательства теорем
- Сноски из книги
- 9.1.2. Сортировка списков