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