Public house is now generally shortened to pub.
The public house was a 19th century development, distinctive from the earlier beer house by its decorative treatment and fittings.
Dolphin Public House, Diss. Courtesy of Norfolk County Council Library and Information Service.