XSB as an Efficient Deductive Database Engine.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Browse the full SIGMOD paper archive.