De Morgan Gesetz fuer Prolog unbekannt?

Hoffentlich kennt sich hier jemand zufällig mit Prolog aus.
Habe in meiner 'Faktensammlung' eigentlich nur eine Zeile:

a.

Bei der folgenden Abfrage hätte ich mir erhofft, dass sie 'true' sein müsste (DeMorgan Gesetz):

17 ?- (\+((a,a))) = (\+a;\+a).
false

Leider meint Prolog, dass aus dem Faktum a. nicht auf die DeMorgan Regel geschlossen werden kann, also false.
Meine Abfrage sagt doch eigentlich einen immer wahren Sachverhalt aus? Oder liegt da ein Notationsfehler vor? Oder kennt (SWI-)Prolog die DeMorgan Regel nicht?
Danke wenn mir mit dem einfachen Prolog Beispiel jemand helfen kann!

Zeus

Prolog kann nur über syntaktische Ableitung DeMorgan verifizieren, daher mussu Prolog, dass über eine Fakt/Regeln beibringen.

PS: Prolog ist etwas her, hoffe ich hab dich nicht fehlgeleitet.