Multi-configurable Search Rules in Prolog and Application to Testing - Ferreiro D; Morales JF; López-García P; Hermenegildo MV (Syntactic Asp Forgetting With Forks, 2026)