Недавно я изучал графовые базы данных, такие как Neo4j, и логическое программирование в Prolog и miniKanren. Из того, что я узнал до сих пор, оба позволяют указывать факты и отношения между ними, а также запрашивать полученную систему для некоторых выборов. Итак, на самом деле я не вижу большой разницы между ними в том, что они оба могут использоваться для построения графика и запроса к нему, но с использованием другого синтаксиса. Тем не менее, они представлены как совершенно разные виды программного обеспечения.

За исключением технической детализации, базы данных могут предлагать более эффективную технологию хранения в пространстве и времени, и кроме того, что крошечные логические ядра, такие как miniKanren, более просты и встраиваемы, какова реальная разница между графическими базами данных и логическими языками программирования, если они оба являются просто графической базой данных + API запроса?