Additional
Information: Canadian Content has no additional information. This page was last updated on June 30th, 2008
Goedel Sites:
Gödel Tutorial
A rather brief "tutorial" from Walla Walla. http://cs.wwc.edu/~cs_dept/KU/PR/Godel.html
The Gödel Programming Language
Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism. http://www.cs.bris.ac.uk/~bowers/goedel.html