Surf these sites: Goedel with Parametrised Modules -- An experimental Gödel with Generic (Parametrised) Modules Gödel -- Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism. Gödel Tutorial -- A rather brief "tutorial" from Walla Walla
Help build the largest human-edited
directory on the web.