Friday afternoon post: A quick diagram of the LP landscape

(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.

8 Likes