EMA-XPS Online
UNTELL
UNTELL
======
Syntax: (untell <einfache-Prädikation>) ::=
(untell [<Relations-Name> <Instanz> <Wert>])
UNTELL bedeutet, daß alle übergebenen Fakten
zurückgezogen werden. Die benutzte Prädikation
muß immer vollinstanziiert sein d.h., es dürfen
keine ungebundenen logischen Variablen benutzt wer-
den. Die anonyme Variable können Sie benutzen, um
eine Instanz-Wert-Relation auf unbestimmt zu setzen.
UNTELL liefert T, wenn der Wert gelöscht wurde,
andernfalls NIL.
Beispiel: >(untell [Ort Buckingham-Palast Londen])
T
In diesem Beispiel wird der Wert Londen gelöscht!
EMA-XPS Online