[Machine] The Prophet Muhammad ﷺ used to pray four units (rak'at) after the Isha prayer and would perform a single prostration (sajda) of the Witr prayer. Then he would sleep until he offered prayer after his night rest.
كَانَ رَسُولُ اللهِ ﷺ إِذَا صَلَّى الْعِشَاءَ رَكَعَ أَرْبَعَ رَكَعَاتٍ وَأَوْتَرَ بِسَجْدَةٍ ثُمَّ نَامَ حَتَّى يُصَلِّيَ بَعْدَ صَلَاتِهِ بِاللَّيْلِ