Lesezeichen und Publikationen teilen - in blau!
Melden Sie sich mit Ihrem Benutzernamen an.
Ich habe mein Passwort vergessen.
Melden Sie sich mit Ihrem OpenID-Provider an.
Gödel is a declarative, general-purpose programming language in the family of logic programming languages. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It has a module system.