An Operating System for the Home
What you always wanted to know about Datalog (and never dared to ask