Welcome
to the NEW UGN (Undergrounds Network), formerly known as Undergrounds.com! Browse
our ever growing web directory or any of the other entertainment sites, absolutely
free. Please note that some content has been sourced from the ODP.
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