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

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

Страница книги Просмотры
10.1. Краткое введение в исчисление предикатов 55988
2.4. Равенство и установление соответствия 3641
nl 3123
3.3. Принадлежность элементов списку 2857
3.2. Списки 2660
Генератор случайных чисел (random) 2646
10.4. Принцип резолюций и доказательство теорем 2507
4.2. Отсечение 2186
6.9. Ввод и вывод данных 2103
6.12. Сравнение чисел 2048
repeat 2009
2.3. Операторы 1996
7.6. Представление и обработка множеств 1825
3.1. Структуры и деревья 1792
8.2. Типичные ошибки 1673
name(А,L) 1650
3.4. Пример: преобразование предложений 1629
FAIL 1582
7.13. Применение предикатов clause и retract 1571
read(X) 1501
7.11. Символьное дифференцирование 1467
1.3. Переменные 1405
2.5. Арифметика 1374
9.1. Проблема синтаксического анализа 1352
9.3. Запись грамматических правил в Прологе 1306
4.3.1. Подтверждение правильности выбора правила 1252
7.7. Сортировка 1229
Дизъюнкция целей 1209
Конъюнкция целей 1190
write(X) 1171
10.7. Пролог и логическое программирование 1166
ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ 1152
ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ 1120
1.1. Факты 1090
ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ 1074
1.4. Конъюнкции 1052
8.4. Трассировка и контрольные точки 1024
Этап 4 - вынесение кванторов общности в начало формулы 1019
get0(X) 1013
7.9. Поиск по графу 1008
ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ 1007
ГЛАВА 5 ВВОД И ВЫВОД 1004
ГЛАВА 1 ВВЕДЕНИЕ 998
ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ 998
ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ 982
Сноски из книги 956
ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ 954
X mod Y 943
Этап 3 - сколемизация 940
op(X,Y,Z) 911
7.8. Использование базы данных: random, генатом, найтивсе 890
ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ 883
Оглавление статьи/книги
Похожие страницы

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