The impact of logic programming on databases | Synapse