中文摘要：

针对现有的分布式逻辑语言缺乏完整时态表达力等问题，将分布式时态逻辑谓词引入Datalog规则，提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义，形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义，提出TU-Datalog语言的固定点时态演化规则，并对该语言的语法、语义、评价算法进行了研究，最后对该语言的应用做了说明和示例。

英文摘要：

Focused on the problem that current distributed logic languages are short of temporal expressiveness,the paperpresents TU-Datalog language by incorporating distributed temporal logic into Datalog rules,which makes the language apure declarative logic programming language and environment with powerful temporal expressiveness based on nonimmediateupdate semantics of U-Datalog.The paper illuminates the temporal evolved rules of fixpoint of the languageby extending the fixpoint language of U-Datalog.The syntax,semantics and evaluation algorithms of the languageare explained.And the application of the language is discussed and exampled.