Research on Call Semantic of Datalog Logic Program and its Application
Ning Li · 2010
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.