Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm