A VLSI Prolog Co-processor: implementation studies