Universal Conditional Logic: A Formal Language for Prompt Engineering Paper • 2601.00880 • Published Dec 31, 2025 • 1