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