A CLP(R) Options Trading Analysis System