一种最早用于科学计算的程序设计语言是 (1) ；一种提供指针和指针操作且不存在布尔类型的、应用广泛的系统程序设计语言是 (2) ；一种适合在互联网上编写程序可供不同平台上运行的面向对象程序设计语言是 (3) ；一种在解决人工智能问题上使用最多的、有较强的表处理功能的函数程序设计语言是 (4) ；一种以谓词逻辑为基础的、核心是事实、规则和推理机制的实用逻辑程序设计语言是 (5) 。

A．Pascal
B．Ada
C．Smalltalk
D．Lisp

饱和粘土的总应力σ、有效应力σ＇、孔隙水压力u之间存在的关系为：（）

A.σ=u-σ＇

B.σ=σ＇+u

C.σ＇=σ+u

D.σ＇=u-σ