Probabilistic Datalog---a logic for powerful retrieval methods | Synapse