We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: matching with context variables, sequence variables, and regular constraints for their matching values; and strategic programming with labeled rules. The system is called ρLog, and is built on top of the pattern matching and rule-based programming capabilities of Mathematica.