作　　者： ; ; ; ; (李宁）;

机构地区： 南京理工大学

出　　处： 《计算机科学》 2010年第1期170-175,共6页

摘　　要： 提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。 The paper firstly gave the call semantic and call predicates of datalog logic programs,and discussed the opera- tional and fixpoint semantics of U-datalog programs with call predicates. Then the algorithms that evaluate U-Datalog programs with call predicates under definite stratified calls were presented. Finally, applications of the call semantic of datalog programs in digital rights management were explained and demonstrated.

关 键 词： 语言 逻辑程序 程序调用 数字版权保护

领　　域： [自动化与计算机技术] [自动化与计算机技术]