XSB as a Deductive Database.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Browse the full SIGMOD paper archive.