Sandbox declaration needed to executed tabled code in Windows hosted swish

Help!
1

I get this error

No permission to call sandboxed `‘$get_predicate_attribute’(_1550,_1542,_1544)’
Reachable from:
not_exists(A)
rule(A,B,C,D)
state(A,B,C,D)
label(A,B,C)
model(A,B)

when running the argumentation framework notebook (that is, argue.pl) on a Windows10 hosted swish instance (swipl.exe upgraded to development version 8.1.21).

Could be that the versione 8.1.21-67-gc08d28d, (built from source on Ubuntu and executing the notebook without problems) added the sandbox declaration I’m missing ?

I’ve been unable to find out (on Ubuntu) the relevant details.

2

As far as I recall, support for not_exists/1 for sandboxing was indeed added later.

1 Like
3

Thanks Jan
I found at line of 858 of sandbox.pl the declaration safe_meta('$tabling':not_exists(G), [G]).