UNTELL-INSTANCE-VALUES ====================== Syntax: (untell-instance-values <evaluates-to Relationsname> <evaluates-to Instanz-Spec> {<Menge> | _ } [:write-dependents {T | NIL | Var}] [:probe {T | NIL | :and-do | Var}]) Diese Funktion entfernt alle Elemente der Menge aus der Wertemenge der Instanzrelation. Ist _ statt einer Menge angegeben, wird die gesamte Wertemenge entfernt und die unbestimmte, leere Menge eingetragen. Ist der Schalter ':write-dependents' ungleich NIL, werden nach dem schreibenden Zugriff eventuell vorhandene writedependents über die Werteänderung infor- miert. Rückgabewert ist die verkleinerte Werte- menge oder NIL, wenn die Menge und die Wertemenge disjunkt sind. Beispiel: >(untell-instance-values 'angebote Paris {Louvre}) #<set-of ANGEBOT (...)> >(untell-instance-values 'angebote Paris {Big-Ben}) NIL