UNTELL-INSTANCE-VALUE ===================== Syntax: (untell-instance-value <evaluates-to Relationsname> <evaluates-to Instanz-Spec> <Lisp-Typ: T> [:write-dependents {T | NIL | Var}] [:probe {T | NIL | :and-do | Var}]) Diese Funktion entfernt ein Element aus der Werte- menge der Instanzrelation. Ist der Schalter ':write-dependents' ungleich NIL, werden nach dem schreibenden Zugriff eventuell vorhandene write- dependents über die Werteänderung informiert. Rückgabewert ist die verkleinerte Wertemenge oder NIL, wenn das Element nicht in der Wertemenge enthalten ist. Beispiel: >(untell-instance-value 'angebote Paris Louvre) #<set-of ANGEBOT (...)> >(untell-instance-value 'angebote Paris Big-Ben) NIL