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 ReviewsRating: Not yet Rated
Whois Check