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