Datalog
query問い合わせに特化させた
標準化された言語仕様があるわけではないらしい
Datalog として標準化された言語が言語仕様があるわけではなく、処理系によって構文が異なっていたり、独自の拡張がされていたりする。たとえば、集約関数をサポートするものなどがある。ref チューリング完全ではない
tutorial
処理系がいくつかある
Prologに影響を受けたDB形態であるDatalogに、hiearachical navigable small worldによるembedding検索を組み合わせたものらしい