Sync the Lean Prolog adapter file with version 3.8.8 of this Prolog compiler