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

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

Страница книги Просмотры
10.1. Краткое введение в исчисление предикатов 56058
2.4. Равенство и установление соответствия 3738
nl 3217
3.3. Принадлежность элементов списку 2950
3.2. Списки 2782
Генератор случайных чисел (random) 2749
10.4. Принцип резолюций и доказательство теорем 2654
4.2. Отсечение 2282
6.9. Ввод и вывод данных 2174
6.12. Сравнение чисел 2142
repeat 2118
2.3. Операторы 2109
7.6. Представление и обработка множеств 1906
3.1. Структуры и деревья 1864
8.2. Типичные ошибки 1784
name(А,L) 1738
3.4. Пример: преобразование предложений 1731
FAIL 1686
7.13. Применение предикатов clause и retract 1679
read(X) 1587
7.11. Символьное дифференцирование 1576
1.3. Переменные 1520
2.5. Арифметика 1468
9.1. Проблема синтаксического анализа 1447
9.3. Запись грамматических правил в Прологе 1393
7.7. Сортировка 1333
4.3.1. Подтверждение правильности выбора правила 1326
Дизъюнкция целей 1309
Конъюнкция целей 1289
write(X) 1285
10.7. Пролог и логическое программирование 1282
ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ 1246
ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ 1210
1.1. Факты 1171
ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ 1169
1.4. Конъюнкции 1113
ГЛАВА 1 ВВЕДЕНИЕ 1105
8.4. Трассировка и контрольные точки 1097
ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ 1095
get0(X) 1093
ГЛАВА 5 ВВОД И ВЫВОД 1093
7.9. Поиск по графу 1086
Этап 4 - вынесение кванторов общности в начало формулы 1085
ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ 1078
ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ 1077
X mod Y 1059
ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ 1044
Этап 3 - сколемизация 1041
Сноски из книги 1039
op(X,Y,Z) 1012
ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА 965
7.8. Использование базы данных: random, генатом, найтивсе 963
Оглавление статьи/книги
Похожие страницы

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