Why use safe_call/1 if PEngines catches unsafe call() attempts anyways?

I’m using: SWI-Prolog version 8.0.2 on Ubuntu Linux 18.04.

I was looking over the docs and came across safe_call/2:

http://www.swi-prolog.org/pldoc/doc_for?object=sandbox%3Asafe_call/1

What is the purpose of this predicate? PEngines catches unsafe call() attempts anyways as far as I can see, so what is the advantage of using safe-call()?

It is just an exported predicate that is not used by Pengines. Maybe it once was.

1 Like