Partial deduction in disjunctive logic p
β
Chiaki Sakama; Hirohisa Seki
π
Article
π
1997
π
Elsevier Science
π
English
β 917 KB
This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called d