Founded Semantics and Constraint Semantics of Logic Rules