user- Gödel is a declarative, general-purpose programming language in the family of logic programming languages. It is a strongly typed language, the type system...Gödel is a declarative, general-purpose programming language in the family of logic programming languages. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It has a module system.
- Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logi...Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming.
