Declarative
The term for a paradigm of programming where the specification allows for a great deal of freedom in acheiving results as specified; we say that a declarative program specifies the "what" of the result, but not the "how"; programming languages which encourage this style of programming are termed declarative, and specifically include the logic and functional paradigms, to varying degrees.This is distinguished from imperative programming, where a sequence of actions is specified, or demonstrative programming, where the program is a demonstrative record of something which was done in order to achieve some effect (with abstraction of arguments after-the-fact).
Pages in this topic: CLIPS NUT
Also linked from: Alma Dynamo Escher fare-matcher Feature-Oriented Programming Join Calculus Kaleidoscope KnowOS Mercury PL 101 Tactic