Prismatic Dieudonné Theory for Truncated Barsotti-Tate Groups