Archlog: High-level synthesis of reconfigurable multiprocessors for logic programming - Fidjeland, A; Luk, W (2006)