A 32 Bit Processor for Compiled Prolog