PDDS: a parallel deductive database system | lit.salon