a-（a-14）
=a-a+14
=14（岁）；
答：再过n年他们相差14岁．
故选：A．
逻辑型程序语言是一类以______为基础的语言，______是这类语言的代表。函数型程序语言是一类以______为基础的语言，______是典型的函数型程序语言。
A．λ演算
B．关系理论
C．形式逻辑
D．事实和规则
行人应该避免的不文明行为有哪些？
