Abstract
We study a powerful class of logic programs which terminate for a large class of goals. Both classes are
characterized in a natural way in terms of mappings from variable-free atoms to natural numbers. Based
on this idea we present a technique which improves the termination behaviour and allows a more multidirectional
use
... read more