Программирование на языке ПРОЛОГ для искуственного интеллекта

       

СИНТАКСИС И СЕМАНТИКА ПРОЛОГ ПРОГРАММ


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

  • простые объекты данных (атомы, числа, переменные)
  • структурные объекты
  • сопоставление как основная операция над объектами
  • декларативная (или непроцедурная) семантика программ
  • взаимосвязь между декларативным и процедурным смыслами программ
  • изменение процедурного смысла путем изменения порядка следования предложений и целей

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

double_line();

Содержание раздела