LogOracle: A Declarative Language for Log Pattern Validation. - Te Zhang; Yugang Wang; Junyan Ma; Chengyuan Ren; Fengbiao Bu (QRS Companion, 2025)