Before revision:  In this representation, range-restricted logic programs correspond to quantifier-free theories, making asymptotic quantifier results avilable for use.
After revision:  In this representation, determinate logic programs correspond to quantifier-free theories, making asymptotic quantifier results avilable for use.