Past-present temporal programs over finite traces