Definition, synonyms and related words
A high-level, constraint-based programming language (e.g. Prolog).