Prolog Language
Pureza logica

algorithm C Language C# Language C++ clojure Haskell Language Java Language GNU/Linux PHP Python Language
Buscar..


dif / 2

El predicado dif/2 es un predicado puro: Se puede utilizar en todas las direcciones y con todos los modelos de instancias, siempre que significa que sus dos argumentos son diferentes.

Restricciones de CLP (FD)

Las restricciones de CLP (FD) son relaciones completamente puras. Se pueden usar en todas las direcciones para la aritmética de enteros declarativa: 

?- X #= 1+2.
X = 3.

?- 3 #= Y+2.
Y = 1.

Unificación

La unificación es una relación pura . No produce efectos secundarios y se puede usar en todas las direcciones, con uno o ambos argumentos total o parcialmente instanciados.

En Prolog, la unificación puede suceder.

  • explícitamente , utilizando predicados incorporados como (=)/2 o unify_with_occurs_check/2
  • implícitamente , cuando se usa la unificación para seleccionar una cláusula adecuada.


Modified text is an extract of the original Stack Overflow Documentation
Licenciado bajo CC BY-SA 3.0
No afiliado a Stack Overflow