I’m using: SWI-Prolog version 8.11
I want the code to: qcompile prolog source into QLF. Then removed the source *.pl. Load the program and found Permission error as below. Place the source *.pl back and it loads without error.
But what I’m getting is: Permission error
?- consult(library(coc/app/ip_app_setting)).
[main] [16:43:31.670] [error] No permission to load source `e:/packs/boot/prolog/coc/app/ip_app_setting.qlf' (Non-module file already loaded into module ip_model_workflow; trying to load into user)
[main] [16:43:31.670] [error] In:
[main] [16:43:31.670] [error] [21] throw(error(permission_error(load,source,e:/packs/boot/prolog/coc/app/ip_app_setting.qlf),context(...,Non-module file already loaded into module ip_model_workflow; trying to load into user)))
[main] [16:43:31.670] [error] [19] $assert_load_context_module(e:/packs/boot/prolog/coc/app/ip_app_setting.qlf,user,[expand(true)]) at c:/program files/swipl/boot/init.pl:2615
[main] [16:43:31.670] [error] [18] $mt_do_load(<clause>(000000635711F2E0),library(... / ip_app_setting),e:/packs/boot/prolog/coc/app/ip_app_setting.qlf,user,[expand(true)]) at c:/program files/swipl/boot/init.pl:2212
[main] [16:43:31.670] [error] [17] setup_call_catcher_cleanup(system:with_mutex($load_file,...),system: $mt_do_load(<clause>(000000635711F2E0),...,e:/packs/boot/prolog/coc/app/ip_app_setting.qlf,user,...),_320,system: $mt_end_load(<clause>(000000635711F2E0))) at c:/program files/swipl/boot/init.pl:479
[main] [16:43:31.670] [error] [14] $load_file(library(... / ip_app_setting),user,[expand(true)]) at c:/program files/swipl/boot/init.pl:2100
[main] [16:43:31.670] [error] [9] <user>
[main] [16:43:31.670] [error]
[main] [16:43:31.670] [error] Note: some frames are missing due to last-call optimization.
[main] [16:43:31.670] [error] Re-run your program in debug mode (:- debug.) to get more detail.
?- consult(library(coc/app/ip_app_setting)).
% library(coc/app/ip_app_setting): recompiling QLF file (out of date)
true.
?- consult(library(coc/app/ip_app_setting)).
true.