This category lists those programming languages that adhere to the declarative programming paradigm.