Quick map of the logic programming landscape Evidently incomplete and that diagram is already too detailed. graphml format SVG format PNG format
