I want to summon the horse tied with cart directly. is this possible?

Carts store the pulling horse's unique identifier as UUIDs are typically represented in the form of two "PullingUUIDMost" and "PullingUUIDLeast" longs. You will need to research how to copy nbt between entities to assign that to an arbitrary horse's id.