A Microprogrammed Interpreter for the Personal Sequential Inference Machine