datalogの検索結果1 - 3 件 / 3件

• あとで読む

  GitHub - cozodb/cozo: A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

  • 19 users
  • github.com/cozodb
  • テクノロジー
  • 2022/11/08

  Version v0.7: after HNSW vector search from 0.6, in 0.7 we bring to you MinHash-LSH for near-duplicate search, full-text search, Json value support and more! See here for more details. Version v0.6 released! This version brings vector search with HNSW indices inside Datalog, which can be integrated seamlessly with powerful features like ad-hoc joins, recursive Datalog and classical whole-graph alg

  • DB
  • あとで読む

  
• あとで読む

  Turning the IDE Inside Out with Datalog | Pete's Blog

  • 6 users
  • petevilter.me
  • 暮らし
  • 2020/07/19
• あとで読む

  Datalog に入門する - プログラムを自動生成したい

  • 3 users
  • t-keita.hatenadiary.jp
  • テクノロジー
  • 2021/05/02

  とある論文がデータのスキーマ変換を行うために Datalog を用いていた。Prolog は触ったことあるし、Datalog って言葉も聞いたことはあったが、具体的にどんな言語で何が嬉しいのか知らなかったのでちょっと調べてみた。 ついでに Datalog のインプリタとして Soufflé という処理系も触ってみた。 Datalog とは Datalog は、論理型プログラミング言語である Prolog のサブセットであり、主に演繹データベースのクエリ言語として用いられる。クエリは論理的な制約として記述され、その制約を満たすデータをデータベースから抽出する。最近では Datomic のような分散データベースのクエリ言語としても用いられている。 Datalog として標準化された言語が言語仕様があるわけではなく、処理系によって構文が異なっていたり、独自の拡張がされていたりする。たとえば、集約

  • prolog
  • DB