- sandbox:safe_primitive(+Goal) is semidet[multifile, library(pengines_sandbox)]
- Declare the core pengine operations as safe. If we are talking
about local pengines, their safety is guaranteed by the
sandboxing done for all pengines.
- To be done
- - If at some point we allow for `unsafe' pengines, we must
reconsider this.