На этом шаге мы более подробно рассмотрим эквациональную парадигму.
Равенства - это формулы специального вида
p = q,
Логика, в которой формулами являются только равенства, называется эквациональной логикой или логикой равенств, а программирование с помощью одних равенств называют эквациональным программированием [1, с.325].
Равенства - удобный и естественный аппарат, применяемый для определения функций, отношений, множеств и т.д. Однако надо иметь в виду, что их семантика (математический смысл) может определяться по-разному. При этом одни определения могут быть более операционными, процедурными, а другие более декларативными, непроцедурными.
В контексте эквационального программирования мы хотим привлечь Ваше внимание к двум вариантам
операционного определения, которые позволяют рассматривать равенство или
систему равенств как "логическую программу", определяющую "логические вычисления", не похожие на вычисления в
традиционных языках программирования или в машинах традиционной архитектуры.
(1)Логическое программирование.- М.: Мир, 1988. - 368 с.
На следующем шаге мы остановимся на функциональной парадигме.
