Gödel

Proiectat de: John Lloyd & Patricia Hill

Gödel este un limbaj de programare declarativ, cu scop general, care respectă paradigma de programare logică.

Este un limbaj puternic tastat, sistemul de tip se bazează pe logica multor sortită cu polimorfism parametric.

Este numit după logicianul Kurt Gödel.