We provide graceful labelings for prisms C2m×Pn, with even cycles, for all n≥2, and prisms C2m+1×Pn, with odd cycles when 3≤mn≤12. Further, we verify that the windmill graph K4(m) is graceful for r≤22, and that the square of a path Pn is graceful for n≤32.