Getting to the real problem : experience with BNR Prolog in OR