按照土地市场主体可以将土地市场划分为土地使用权出让市场、土地使用权转让市场、土地使用权租赁市场和土地使用权抵押市场。

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

A．λ演算
B．异调代数
C．谓词逻辑
D．范畴论