The name pre-dates the Karen stereotype, but IMO the naming clash is beneficial. I won't be surprised if miniKanren implementation for some new language is actually called Karen.

"Kraken" here, at first. But just me I acknowledge ...

the 'n' is where the logic comes from

Sadly you're not alone