Title: Logic, Language, Formalism, Informalism
Subjects: Logic programming languages, Formale Sprache, Logische Programmierung, Language and logic, Formalism (literary analysis)