Disjunctive datalog. Foundations of disjunctive logic programming. Classical negation in logic programs and disjunctive databases
確定! 回上一頁