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 logic programming.
M. Atzmueller, и F. Lemmerich. International Symposium on Methodologies for Intelligent Systems (ISMIS), стр. 35--44. Berlin, Heidelberg, Springer Berlin Heidelberg, (2009)