英文含义 DFOL的全称：Distributed First Order Logics | 中文意思：───分布式一阶逻辑DFOL的全称：Dynamic First Order Logic | 中文意思：───动态阶逻辑