3 ms·Indeed. Mercury has a really powerful static type system, while prolog hasn't.by toolslive 6y agoIndeed. Mercury has a really powerful static type system, while prolog hasn't.