Turns out that Lean Prolog still needs an hack for the missing `open/4` standard predicate in order to be able to load some of the Logtalk development tools