Random prolog files