(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, svg and png formats:
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.
Idle thought:
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.