02.02.01. Negation des Unifikationsoperators
Welche der folgenden Anfragen führen zu true. ?
?- a \= a.
?- 'a' \= a.
?- A \= a.
?- f(a) \= a.
?- f(a) \= A.
?- f(A) \= f(a).
?- g(a,B,c) \= g(A,b,C).
?- g(a,b,c) \= g(A,C).
?- f(X) \= X.
Welche der folgenden Anfragen führen zu true. ?
?- a \= a.
?- 'a' \= a.
?- A \= a.
?- f(a) \= a.
?- f(a) \= A.
?- f(A) \= f(a).
?- g(a,B,c) \= g(A,b,C).
?- g(a,b,c) \= g(A,C).
?- f(X) \= X.
Du musst angemeldet sein, um einen Kommentar abzugeben.