There is a very nice Datalog tutorial at: http://www.learndatalogtoday.org/ Lean a little bit toward Datomic, but very nice examples nevertheless.