流演算

（计算机科学技术）

流演算（fluent calculus），计算机科学技术名词，一种一阶逻辑的动态版本。用于动作和其效果的表示和推理，是情景演算的一个变型。