Prolog Language
Logische Reinheit

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


dif / 2

Das Prädikat dif/2 ist ein reines Prädikat: Es kann in alle Richtungen und mit allen Instanziierungsmustern verwendet werden, was immer bedeutet, dass seine beiden Argumente unterschiedlich sind .

CLP (FD) -Einschränkungen

CLP (FD) -Einschränkungen sind vollkommen reine Beziehungen. Sie können in alle Richtungen für deklarative Ganzzahlarithmetik verwendet werden: 

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

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

Vereinigung

Vereinigung ist eine reine Beziehung. Es erzeugt keine Nebenwirkungen und kann in alle Richtungen verwendet werden, wobei eines oder beide Argumente vollständig oder nur teilweise instanziiert werden.

In Prolog kann eine Vereinigung geschehen

  • explizit mit eingebauten Prädikaten wie (=)/2 oder unify_with_occurs_check/2
  • implizit , wenn für die Auswahl einer geeigneten Klausel die Vereinheitlichung verwendet wird.


Modified text is an extract of the original Stack Overflow Documentation
Lizenziert unter CC BY-SA 3.0
Nicht angeschlossen an Stack Overflow