Uploaded the correct Prolog database file