Svag matchende rim for adaptivní logika