Rapid Finder

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.

Sponsorized Links