Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

Самые посещаемые страницы в книге

Страница книги Просмотры
10.1. Краткое введение в исчисление предикатов 55990
2.4. Равенство и установление соответствия 3642
nl 3124
3.3. Принадлежность элементов списку 2859
3.2. Списки 2663
Генератор случайных чисел (random) 2647
10.4. Принцип резолюций и доказательство теорем 2509
4.2. Отсечение 2188
6.9. Ввод и вывод данных 2104
6.12. Сравнение чисел 2050
repeat 2012
2.3. Операторы 2001
7.6. Представление и обработка множеств 1826
3.1. Структуры и деревья 1793
8.2. Типичные ошибки 1675
name(А,L) 1652
3.4. Пример: преобразование предложений 1630
FAIL 1584
7.13. Применение предикатов clause и retract 1572
read(X) 1503
7.11. Символьное дифференцирование 1468
1.3. Переменные 1406
2.5. Арифметика 1375
9.1. Проблема синтаксического анализа 1354
9.3. Запись грамматических правил в Прологе 1307
4.3.1. Подтверждение правильности выбора правила 1254
7.7. Сортировка 1230
Дизъюнкция целей 1211
Конъюнкция целей 1191
write(X) 1173
10.7. Пролог и логическое программирование 1168
ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ 1154
ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ 1120
1.1. Факты 1092
ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ 1074
1.4. Конъюнкции 1054
8.4. Трассировка и контрольные точки 1026
Этап 4 - вынесение кванторов общности в начало формулы 1020
get0(X) 1014
7.9. Поиск по графу 1010
ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ 1008
ГЛАВА 5 ВВОД И ВЫВОД 1006
ГЛАВА 1 ВВЕДЕНИЕ 1000
ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ 999
ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ 984
Сноски из книги 959
ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ 954
X mod Y 946
Этап 3 - сколемизация 942
op(X,Y,Z) 912
7.8. Использование базы данных: random, генатом, найтивсе 891
ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ 885
Оглавление статьи/книги
Похожие страницы

Генерация: 0.054. Запросов К БД/Cache: 0 / 1
поделиться
Вверх Вниз