Yeah, imagine if Python had a 'declare these two things are equal' operator and let you just randomly summon up computations declaratively, but with all of the python standard library and data structures. That would be more approachable than Prolog imo.
Take https://p3rl.org/Language::Prolog::Yaswi and steal the ideas into python then, you can probably at least get close to sqlalchemy style in terms of surface syntax at the python level.
(the perl community has implemented and released many strange and wonderful things, often years before other languages' communities noticed they were there (because we're weird), and while it's entirely reasonable to dislike perl as a language it's well worth looking at the things we've perpetrated over the years and stealing the parts you like for your language of choice :)
