[′präb·ləm di¦fīn·iŋ ‚laŋ·gwij] (computer science) A programming language that literally defines a problem and may specifically define the input and output, but does not define the method of transforming one to the other. Also known as problem specification language.