Harry R. Schwartz

Software engineer, nominal scientist, gentleman of the internet. Member, ←Hotline Webring→.

Datalog User Manual

Published 27 Jun 2015. Tags: computer-science.

Datalog is a declarative programming language. It’s a strict subset of Prolog, with a couple slick properties:

That’s (usually) exactly what you want out of a simple query language. As such, it’s been getting some not-just-academic interest in the last few of years, most notably as the query language for Datomic.

I got kinda interested in Datalog a year or so ago. I started out by reading the Datalog User Manual, which is a nice introduction to the language. However, the manual’s only available as a website, so I went on a brief yak-shaving expedition and converted it to epub, mobi, and pdf.

If you’re interested in learning Datalog and also don’t like doing your long-form reading in a web browser, give it a read!