软件语言主要包括需求定义语言、功能性语言、设计性语言、程序设计性语言和文档语言等。功能性语言用来书写软件

的功能规约，如( )语言。函数式程序设计语言和逻辑式程序设计语言都属于( )语言。逻辑式语言的基础是( )，如Prolog是逻辑式程序设计语言，它的基本运算单位是( )。函数式语言是一种面向( )的语言。

供选择的答案：