(After several modifications)
Just my attempt a organizing what’s out there.
The organization is not really fully consistent. All errors are mine etc. The diagram is now a bit too large.
It can be found in this directory, in graphml,
It looks like this (but the image below is reduced to unreadability, so only good as overview):
Probably missing a good part (especially in the direction of Semantic Web, there are actually several logics that are used) or misinterpreting.
While imperative languages are similar and created mainly under criteria of conciseness, efficiency, elegance, syntactic agreeableness, feature-richness, adherence to C style, marketing etc., LP languages have a global constraint: they are supposed to follow a specific logic calculus (however pared down from a complete logic and laden with escape hatches). In fact, they are problem modeling languages.