Technical details of ordered logic programming