Ove son or le meraviglie tue O regno di Sicilia? Ove son quelle Chiare memorie, onde potevi altrui Mostrar per segni le grandezze antiche?
(Dal Fazello - Storia di Sicilia, deca I,lib. VI,cap.I)
Petra Bualis o Petra Sancti Benedicti
Ubicazione: contrada San Benedetto, rocca San Benedetto (da Agrigento, strada statale 640 per Caltanissetta; uscita a sinistra per Quattro Strade; carreggiabile per contrada San Benedetto), Localizzazione storica: Val di Mazara. Cronologia delle principali fasi storico-costruttive: non precisabile; il castello è attestato per la prima volta alla meta del XIV secolo. Notizie storiche:
1355 ca. - il castrum Petre Sancti Benedicti e annoverato tra i castelli Siciliani - Librino 1928, p. 209,
1408 - feudo Ambuali - Gregorio 1791-92, II, p. 490.
XV (prima meta) - la Petra Sancti Benedicti è annoverata tra i numerosi castelli situati in feudi spopolati - Bresc 1986,11, p. 877.
1500 - feuda nuncupata Rayhalchididi et Ambula sive Sancti Benedicti - Barberi, III, p. 105. Stato di consistenza: attestazione documentaria; sito identificato in assenza di tracce visibili. Rapporti ambientali: a 10 km a nord di Agrigento, sulla riva destra del fiume San Biagio, esistono ancora tre toponimi sicuramente riferibili al vecchio
feudo: una contrada San Benedetto, una piccola rupe isolata chiamata Rocca San Benedetto (352 m) ed una masseria San Benedetto. La piccola rupe giustificherebbe la
denominazione di Petra data al castrum medievale. Descrizione: nessuna traccia di strutture murarie sulla rupe e nei dintorni, ma delle piccole escavazioni che fanno supporre che
Petra Sancti Benedicti o Petra Bualis fosse un castello almeno in parte rupestre.