Answer_set_programming loading ...