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

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

Страница книги Просмотры
10.1. Краткое введение в исчисление предикатов 56054
2.4. Равенство и установление соответствия 3719
nl 3209
3.3. Принадлежность элементов списку 2930
3.2. Списки 2757
Генератор случайных чисел (random) 2730
10.4. Принцип резолюций и доказательство теорем 2628
4.2. Отсечение 2263
6.9. Ввод и вывод данных 2167
6.12. Сравнение чисел 2136
repeat 2091
2.3. Операторы 2086
7.6. Представление и обработка множеств 1898
3.1. Структуры и деревья 1857
8.2. Типичные ошибки 1759
name(А,L) 1728
3.4. Пример: преобразование предложений 1709
FAIL 1665
7.13. Применение предикатов clause и retract 1659
read(X) 1574
7.11. Символьное дифференцирование 1554
1.3. Переменные 1497
2.5. Арифметика 1445
9.1. Проблема синтаксического анализа 1440
9.3. Запись грамматических правил в Прологе 1384
4.3.1. Подтверждение правильности выбора правила 1316
7.7. Сортировка 1309
Дизъюнкция целей 1283
Конъюнкция целей 1267
write(X) 1263
10.7. Пролог и логическое программирование 1258
ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ 1238
ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ 1202
ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ 1162
1.1. Факты 1161
1.4. Конъюнкции 1109
8.4. Трассировка и контрольные точки 1088
ГЛАВА 5 ВВОД И ВЫВОД 1088
get0(X) 1085
ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ 1083
ГЛАВА 1 ВВЕДЕНИЕ 1079
7.9. Поиск по графу 1079
Этап 4 - вынесение кванторов общности в начало формулы 1076
ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ 1070
ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ 1070
ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ 1039
X mod Y 1037
Сноски из книги 1033
Этап 3 - сколемизация 1027
op(X,Y,Z) 996
7.8. Использование базы данных: random, генатом, найтивсе 956
nonvar(X) 950
Оглавление статьи/книги
Похожие страницы

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