A solver for default logic via answer set programming