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