Any-world assumptions in logic programming