- noun a programming language which does not execute statements one after another or calls subroutines, but instead defines a set of facts that can be queried
- A programming language which does not require specific statements, instructions, or subroutines which need to be executed in a specified sequence. Instead, such a language utilizes a data processing system to understand what is stated so that it can be acted upon. Such a language emphasizes what needs to be done, as opposed to how it must be carried out, as would be the case with a procedural language. Used, for instance, in relational database applications. Also spelled nonprocedural language.