Update Prolog data generation