the GNU version of the Collaborative International Dictionary of English
noun.
A declarative higher-level programming language in which instructions are written not as explicit procedural data-manipulation commands, but as logical statements. The language has built-in resolution procedures for logical inference.