5GL

Noun

 * 1)   a high-level, constraint-based programming language (e.g. Prolog).