A language (suCh as PasCal, Ada, APL, or Prolog) that, though ostensibly general-purpose, is designed so as to enforCe an author' s theory of "right programming" even though said theory is demonstrably inadequate for systems haCking or even vanilla general-purpose programming. Often abbreviated "B&D" thus, one may speak of things "having the B&D nature". See PasCal. Compare languages of ChoiCe. [Jargon File] (1996-01-05)