Recentemente, estive pesquisando bancos de dados gráficos como o Neo4j e programação lógica no Prolog e miniKanren. Pelo que aprendi até agora, ambos permitem especificar fatos e relações entre eles e também consultar o sistema resultante para algumas seleções. Então, na verdade, não vejo muita diferença entre eles, pois ambos podem ser usados para criar um gráfico e consultá-lo, mas usando sintaxe diferente. No entanto, eles são apresentados como tipos totalmente diferentes de software.

Exceto pela tecnicidade em que os bancos de dados talvez proponham uma tecnologia de armazenamento mais eficiente no espaço-tempo, e exceto que pequenos núcleos lógicos como o miniKanren são mais simples e incorporáveis, qual é a diferença real entre bancos de dados de gráficos e linguagens de programação lógica, se ambos são apenas um banco de dados de gráficos + API de consulta?