the Open Language Archives Community, is an international partnership of institutions and individuals who are creating a worldwide virtual library of language resources
The Rosetta Project is a global collaboration of language specialists and native speakers building a publicly accessible online archive of ALL documented human languages.
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.
D. Schlör, J. Pfister, and A. Hotho. 2023 the 7th International Conference on Medical and Health Informatics (ICMHI), page 136–141. New York, NY, USA, Association for Computing Machinery, (2023)