Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs