Do modern Prologs remove the occurs check automatically, when it's safe?

Question

There was a bunch of papers 30 years ago about removing the occurs check automatically, when it\'s safe (about 90% of cases, in typical codebases). Different algorithms were