Title: The Gödel programming language
Subjects: Gödel (Computer program language), Logic programming languages, Logic programming, Programming languages (electronic computers)