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.
H. Grosskreutz, S. Rüping, and S. Wrobel. European Conference on Machine Learning and Knowledge Discovery in Databases, page 440--456. Springer, (2008)
M. Atzmueller, and F. Lemmerich. International Symposium on Methodologies for Intelligent Systems (ISMIS), page 35--44. Berlin, Heidelberg, Springer Berlin Heidelberg, (2009)