use_module(library(clpq)) not allowed anymore ?
Opened this issue · 1 comments
denisb commented
CLPQ was available until now (I've used it on 2018-03-09)
but this morning it generates an error message :
:- use_module(library(clpq)).
No permission to call sandboxed `source_location(_890,_892)'
Reachable from:
system:'$assert_load_context_module'(A,B,C)
system:'$load_file'(A,B,C)
system:'$load_files'(A,B,C)
load_files(A,B)
procedure `{A}' does not exist
Reachable from:
longueurClassique(A,B)
see https://swish.swi-prolog.org/p/plusOUmoinsUN.swinb (e.g.: first query)
any help ?
(with swi-prolog vers 7.2.3 on my computer, it's ok)
Best for you
(swish is nice!)
JanWielemaker commented
Thanks for reporting. Has happened before. Couln't figure out how it got into this state, but a restart helps ...