Presentation and compiler on Reasoning with Prioritized Defaults