Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ
ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ
Содержание
Оглавление статьи/книги
- 6.1. Ввод новых утверждений
- 6.2. Выполнение и невыполнение целевого утверждения
- 6.3. Классификация термов
- 6.4. Работа с утверждениями как с термами
- 6.5. Создание структур и работа с компонентами структур
- 6.6. Воздействие на процесс возврата
- 6.7. Формирование составных целевых утверждений
- 6.8. Равенство
- 6.9. Ввод и вывод данных
- 6.10. Обработка файлов
- 6.11. Вычисление арифметических выражений
- 6.12. Сравнение чисел
- 6.13. Наблюдение за выполнением программы на Прологе
Похожие страницы
- Предикаты
- Специальные встроенные предикаты
- Дополнительные встроенные предикаты
- 6.7. Формирование составных целевых утверждений
- 4.12. Вычисление выражений
- ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
- ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ
- ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10
- ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ
- ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ