解释是：
"A variety of programming language in which
the control and data strucutres reflect the
requirements of the problem rather than the
facilities actually provided by the hardware.
A high-level language is translated into
machine code by a compiler."
