[NOT
====

Syntax: [not <Prädikation>]

[NOT ist eine Compound-Prädikation. Es negiert 
den Wahrheitswert der umschlossenen Prädikation.
Alle Variablen aus der Formel müssen schon
gebunden sein, bevor [NOT anfängt zu prüfen.
Es muß besonders beachtet werden,
daß Formeln, in denen [NOT vorkommt, intern vor
der Auswertung so umgeformt werden, daß [NOT
sich stets nur auf einfache Prädikationen be-
zieht. Man kann auch zusammengesetzte Formeln
negieren, wenn man die oben beschriebene
interne Umformung beachtet.
Die deMorgan'schen Gesetze werden für die
Umformung benutzt:
   not (A or B) == (not A) and (not B)
   not (A and B) == (not A) or (not B)
[NOT liefert den Wert, der aus der Negation der
Prädikation gewonnen wird. Es hat keinen 
benutzbaren Rückgabewert.

Beispiel: >(ask [and
                 [computer _x]
                 [not [festplatte _x]]]
                (kb-format "~%~A" (name-of _x)))
          RAM
          CD-ROM
          NIL

Der Interpreter sucht alle Komponenten, die keine
Festplatte sind!