Classes of Terminating Logic Programs

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus

Termination of logic programs depends critically on the selection rule, i.e. the rule that determines which atom is selected in each resolution step. In this article, we classify p…