Gödel

Website: https —//www.cs.unipr.it/~hill/GOEDEL/expgoedel.html

Designed by: John Lloyd & Patricia Hill

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.