Oh, so Python is worse to read than Prolog because it's dynamically typed? Yeah, that makes sense. Oh wait, it doesn't: Prolog is also dynamically typed!
By the way: C is neither high-level nor strongly-typed. Sometimes it's better to remain silent, you know...