Archlog: High-Level Synthesis of Reconfigurable Multiprocessors for Logic Programming | IEEE Conference Publication | IEEE Xplore