A bondage-and-discipline language that the speaker happens

to like; Prolog and Backus's FP are often called VHLLs.