A Dedicated VLSI Processor for OR-parallel Prolog Execution: implementation studies