Documentation - Restructure prolog