A Resource-aware Program Logic for Grail