GDlog: A GPU-Accelerated Deductive Engine