Start of working files for Prolog