Porto de Pedras é um município brasileiro do estado de Alagoas. A sua população estimada em 2004 era de 10.558 habitantes.
Source: https://pt.wikipedia.org/wiki/Porto_de_Pedras