"Selbst-Aktualisierbarkeit" der Anforderungsdokumentation von wissensbasierten Systemen auf PROLOG-Basis mit Hilfe von Entscheidungstabellen