Prolog Language
Логическая чистота
Поиск…
диф / 2
Предикат dif/2
является чистым предикатом: он может использоваться во всех направлениях и со всеми шаблонами создания, всегда означает, что его два аргумента различны .
CLP (FD)
Ограничения CLP (FD) - это полностью чистые отношения. Они могут использоваться во всех направлениях для декларативной целочисленной арифметики:
?- X #= 1+2.
X = 3.
?- 3 #= Y+2.
Y = 1.
унификация
Объединение - это чистое отношение. Он не создает побочных эффектов и может использоваться во всех направлениях, причем один или оба аргумента полностью или только частично созданы.
В Prolog может произойти объединение
- явно , используя встроенные предикаты, такие как
(=)/2
илиunify_with_occurs_check/2
- неявно , когда унификация используется для выбора подходящего предложения.
Modified text is an extract of the original Stack Overflow Documentation
Лицензировано согласно CC BY-SA 3.0
Не связан с Stack Overflow