Prolog Language
Logische zuiverheid

algorithm C Language C# Language C++ clojure Haskell Language Java Language GNU/Linux PHP Python Language
Zoeken…


dif / 2

Het predicaat dif/2 is een puur predicaat: het kan in alle richtingen en met alle instantiatiepatronen worden gebruikt, wat altijd betekent dat de twee argumenten verschillend zijn .

CLP (FD) beperkingen

CLP (FD) beperkingen zijn volledig pure relaties. Ze kunnen in alle richtingen worden gebruikt voor declaratief geheel getal rekenen: 

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

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

unificatie

Eenwording is een pure relatie. Het heeft geen bijwerkingen en kan in alle richtingen worden gebruikt, met een of beide argumenten volledig of slechts gedeeltelijk ingeleid.

In Prolog kan eenwording plaatsvinden

  • expliciet , met behulp van ingebouwde predicaten zoals (=)/2 of unify_with_occurs_check/2
  • impliciet , wanneer unificatie wordt gebruikt voor het selecteren van een geschikte clausule.


Modified text is an extract of the original Stack Overflow Documentation
Licentie onder CC BY-SA 3.0
Niet aangesloten bij Stack Overflow