Complex sentence: The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop).
Split into simpler sentences: The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm. In principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop).