Fix `os::date_time/7` predicate for Lean Prolog