Recientemente he estado buscando en bases de datos de gráficos como Neo4j y en programación lógica en Prolog y miniKanren. Por lo que he aprendido hasta ahora, ambos permiten especificar hechos y relaciones entre ellos, y también consultar el sistema resultante para algunas selecciones. Entonces, en realidad no puedo ver mucha diferencia entre ellos en que ambos se pueden usar para construir un gráfico y consultarlo, pero usando una sintaxis diferente. Sin embargo, se presentan como tipos de software totalmente diferentes.

Excepto el tecnicismo de que las bases de datos pueden proponer una tecnología de almacenamiento más efectiva en el espacio-tiempo, y excepto que los pequeños núcleos lógicos como miniKanren son más simples e integrables, ¿cuál es la diferencia real entre las bases de datos gráficas y los lenguajes de programación lógica, si ambos son solo una base de datos gráfica? + API de consulta?