Глава 2 Синтаксис и семантика Пролог-программ

We use cookies. Read the Privacy and Cookie Policy

Глава 2

Синтаксис и семантика Пролог-программ

В данной главе дается систематическое изложение синтаксиса и семантики основных понятий Пролога, а также вводятся структурные объекты данных. Рассматриваются следующие темы:

• простые объекты данных (атомы, числа, переменные)

• структурные объекты

• сопоставление как основная операция над объектами

• декларативная (или непроцедурная) семантика программ

• взаимосвязь между декларативным и процедурным смыслами программ

• изменение процедурного смысла путем изменения порядка следования предложений и целей

Большая часть этих тем уже была затронута в гл. 1. Теперь их изложение будет более формальным и детализированным.