Title: Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Subjects: Data dictionaries, Logic programming languages, Logic programming, Programming languages (electronic computers), Database management