"Nicht gleich" in Visual Prolog anmelden?

Ich finde keine Dokumentation über die "ungleich" - Zeichen in Visual Prolog. Bitte geben Sie die richtige Lösung für dieses problem:

class predicates
        sister : (string Person, string Sister) nondeterm(o,o).
    clauses
        sister(Person, Sister) :-
            Person [not-equal-sign] Sister,
            parent(Person, Parent),
            parent(Sister, Parent),
            woman(Sister).

InformationsquelleAutor der Frage Egor | 2011-09-20

  1. 42

    Ich weiß nicht, was meinst du mit "nicht gleich" (nicht vereinheitlichen?), aber Sie könnten versuchen, diese:

    X \= Y
not(X = Y)
\+ (X = Y)

    InformationsquelleAutor der Antwort Kaarel

  2. 6

    Dokumentation für die zweite Variante hingewiesen hat, Kaarel finden Sie in diese Visual Prolog Referenz Seite.

    Jedoch das problem mit dem code, geht ein wenig tiefer. Sie müssen warten, für die Prüfung von nicht-Gleichstellung bis die beiden Begriffe Person und Schwester gebunden sind, so ordnen sich die Dinge wie diese:

        sister(Person, Sister) :-
        parent(Person, Parent),
        parent(Sister, Parent),
        not(Person = Sister),
        woman(Sister).

    Dort ist auch die syntax für eine infix-operator "<>" was bedeutet, dass unterschiedliche (oder unterschiedliche). Sobald die beiden Bedingungen gebunden werden, diese sollten zum gleichen Ergebnis wie die Prüfung, ob die Bedingungen können nicht vereinheitlicht werden, was die obige Konstruktion funktioniert.

    InformationsquelleAutor der Antwort hardmath

Schreibe einen Kommentar