Gödel photograph

Gödel

Use attributes for filter !
Typing discipline strong
Stable release 1. 5
Date of Reg.
Date of Upd.
ID2282865
Send edit request

About Gödel


Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel.

Related Persons

Next Profile ❯