A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions