"This manual documents Datalog version 2.2, a lightweight deductive database system."