多选题 软件语言主要包括需求定义语言、功能性语言、设计性语言、程序设计性语言和文档语言等。功能性语言用来书写软件的功能规约，如(  )语言。函数式程序设计语言和逻辑式程序设计语言都属于(   )语言。逻辑式语言的基础是(  )，如Prolog是逻辑式程序设计语言，它的基本运算单位是(  )。函数式语言是一种面向(  )的语言。
   供选择的答案：