Attention: This is not a stand-alone file but rather a patch that overrides definitions in the standard compiler. It is thus necessary to recharge the file pref.pl whenever one wants to compile regular ordered logic programs after having dealt with sets of preferences.