The Lean Prolog adapter file no longer provides an hack for the missing `open/4` standard built-in predicate