Declarative programming Symbolic AI
noun phrase
Definition: A programming style in which the programmer specifies what result is desired rather than explicitly describing step-by-step control flow [Britannica].
Example in context: “In particular, we develop an exact declarative programming based algorithmic approach to finding so-called Pareto-optimal solutions to bi-objective optimization problems encoded in propositional logic.” [Jabs et al. 2024]
Related terms: logic programming, functional programming (partly overlapping paradigm)