Definition of prol