Logic Programming on Reduction/Dataflow Machines