单项选择题
A.逻辑式 B.函数式 C.交互式 D.命令式(或过程式)
A.语法 B.类型不匹配 C.变量定义 D.动态语义
A.((a,F)) B.((fac,bb),g) C.(abc) D.(c,(da))