Logic + Control revisited: an abstract interpreter for Goedel programs