A Generalization of the Folding Rule for the Clark-Kunen Semantics

Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. Our generalized folding rule enables new transformation sequences that, in particular, are suitable for re

• Type: Conference
• Year: 2008
• Where: FLOPS
• Authors: Javier Álvez, Paqui Lucio
• Keywords: Automated Reasoning, Flexible Applicability Conditions, FLOPS 2008, Folding Rule, Generalized Folding Rule