Efficient and Complete Demo Predicates for Definite Clause Languages