Ordered Logic Programming with Sets