СИНТАКСИС И СЕМАНТИКА ПРОЛОГ ПРОГРАММ
В данной главе дается систематическое изложение синтаксиса и семантики основных понятий Пролога, а также вводятся структурные объекты данных. Рассматриваются следующие темы:
- простые объекты данных (атомы, числа, переменные)
- структурные объекты
- сопоставление как основная операция над объектами
- декларативная (или непроцедурная) семантика программ
- взаимосвязь между декларативным и процедурным смыслами программ
- изменение процедурного смысла путем изменения порядка следования предложений и целей
Большая часть этих тем уже была затронута в гл. 1. Теперь их изложение будет более формальным и детализированным.
double_line();