Programming languages like Pascal, C, or BASIC are called
Imperative Languages.
Functional languages don't compute using variables and assignment statements.
Scheme is a functional programming language.
Scheme (and other functional programming languages) are used extensively in AI, natural language processing, speech recognition systems,
But its real claim to fame is its ability to express computations in a concise, elegant way.
Web References
MIT's
Scheme page
Scheme
Underground at MIT
Send questions and comments to: Karen Lemone