Fix Lean Prolog adapter file for changes to `format/2-3` predicate calls
Fix Lean Prolog adapter file for changes to `format/2-3` predicate calls

LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3,LogtalkDotOrg/logtalk3