Title: Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Subjects: Architektur, Spezifikation, Verzeichnisdienst, PROLOG