Have you written much Prolog?
I was thinking about in Prolog terms and I think it’s the hardest paradigm to avoid the scoping problem in