Feature request: term_singletons/2 for end-users?
Closed this issue · 1 comments
Jean-Luc-Picard-2021 commented
Hi,
It seems that the SWI-Prolog built-in term_singletons/2 is blocked:
No permission to call sandboxed `term_singletons(_1926,_1928)'
Reachable from:
show(A,B)
prove(A)
test
Would it be possible to de-block it?
Bye
JanWielemaker commented
Agree. Added to latest SWI-Prolog source. Should be there with the next release.