Joe Hellerstein: The Declarative Imperative: Experiences and Conjectures in Distributed Logic. Technical Report No. UCB/EECS-2010-90.
Optional: Foundations of Databases, Abiteboul et. al. Magic Sets, Chapter 13; Datalog with negation, Chapter 14.