Datalogを今日学ぼう!

Datalogを今日学ぼう!Datomic版のDatalogを学ぶために用意された対話形式のチュートリアルです。Datalogは論理プログラミングを源流にもつ宣言的なデータベース問合せ言語です。DatalogはSQLと同等の表現力を持ちます。

Datomicは革新的なアーキテクチャを持ち、ユニークな特徴をユーザに提供する新しいデータベースです。Datomicの詳細についてはhttp://datomic.comを御覧ください。アーキテクチャの詳細についてはInfoQの記事である程度述べられています。

目次

このチュートリアルは2013年のLisp In Summer Projectsのために雨降りの日に書かれました。バグやこのチュートリアルを改善するアイデアがあれば、英語版はjonase/learndatalogtoday、日本語版はclj-nakano/learndatalogtoday経由でお知らせください。

注意深く査読していただいたRobert Stuttafordに多謝します。バグやスペルミスを指摘してくださった方々にも感謝します。

日本語版の作成にあたって、Jonas Enlund氏から翻訳の許諾と派生的成果物の追加についてご快諾頂きました。この素晴らしいチュートリアルを公開していただいたことに感謝いたします。日本語版の誤訳、バグなどの問合せはclj-nakano/learndatalogtodayまで、Issue, またはPull Requestの形式で送っていただきますようお願い致します。