A graph DB vs a Prolog (or miniKanren)
No, logic programming as embodied by those things and neo4j are quite different. On one level, you’re right that they conceptually both amount to graph storage and graph query. But for logic programming, it’s only conceptually graph query, there’s no guarantee that it’s actually stored that way (where with neo4j, it is). Second, with logic … Read more