Deductive database languages: Problems and solutions
On the power of magic