updating the files configuring Prolog engines