Workaround broken Lean Prolog parser when compiling the `lgtunit` tool
Workaround broken Lean Prolog parser when compiling the `lgtunit` tool

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