prolog - SWI-Prolog:当“非模块文件”已经加载到某个模块时,没有加载源的权限)
问题描述
此错误可能与
由于这个问题没有完全回答,我决定在这里发布我的问题。
有一些使用<name>:compile(Filename)
子句的动态加载文件,我怀疑这可能是错误的原因。
➜ chill git:(master) ✗ swipl --traditional [18/06/20| 8:54AM]
Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.
For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).
?- expects_dialect(sicstus).
true.
?- consult('chill-test.pl').
true.
?- set_prolog_flag(double_quotes, chars).
true.
?- run_trials('orig-db', 'raw250-split1.pl', 'orig-db-evaluate', 25, 200, 'raw250-res1.out').
Reading Split File: raw250-split1.pl
Specializing with 25 top-level examples
Beginning Example Analysis
Attempting Example 1 ....
<omitted output>
BEGINING INDUCTION: 1 5
ERROR: No permission to load source `'/home/vimos/git/SP/mooney/chill/orig-db.i'' (Non-module file already loaded into module test; trying to load into thetheory)
ERROR: In:
ERROR: [36] throw(error(permission_error(load,source,'/home/vimos/git/SP/mooney/chill/orig-db.i'),context(...,'Non-module file already loaded into module test; trying to load into thetheory')))
ERROR: [34] '$assert_load_context_module'('/home/vimos/git/SP/mooney/chill/orig-db.i',thetheory,[expand(false),...]) at /usr/lib/swi-prolog/boot/init.pl:2439
ERROR: [33] '$mt_do_load'(<clause>(0x559a46329ea0),'orig-db.i','/home/vimos/git/SP/mooney/chill/orig-db.i',thetheory,[expand(false),...]) at /usr/lib/swi-prolog/boot/init.pl:2069
ERROR: [32] setup_call_catcher_cleanup(system:with_mutex('$load_file',...),system:'$mt_do_load'(<clause>(0x559a46329ea0),'orig-db.i','/home/vimos/git/SP/mooney/chill/orig-db.i',thetheory,...),_142002,system:'$mt_end_load'(<clause>(0x559a46329ea0))) at /usr/lib/swi-prolog/boot/init.pl:443
ERROR: [21] make_theory('orig-db.i',op/2,_142072) at /home/vimos/git/SP/mooney/chill/spchillin-nr.pl:966
ERROR: [20] top_induction('orig-db.i',[op(...,_142120)],[op(...,_142132),...|...],_142108) at /home/vimos/git/SP/mooney/chill/spchillin-nr.pl:129
ERROR: [19] chill_lib:cpu_time(user:top_induction('orig-db.i',...,...,_142186),_142170) at /home/vimos/git/SP/mooney/chill/chill_lib.pl:136
ERROR: [18] induce_control_definition('orig-db.i',[op(...,_142230)],[op(...,_142242),...|...],_142216,_142218) at /home/vimos/git/SP/mooney/chill/chill.pl:109
ERROR: [17] add_each_optimization(cxit([...|...]),'orig-db.i',fail,[(... :- ...),...],[],_142282,_142284) at /home/vimos/git/SP/mooney/chill/chill.pl:85
ERROR: [14] add_rules_for_targets([tr(...,function,fail)],'orig-db.i',[... - ...,...|...],[],[],_142346,_142348) at /home/vimos/git/SP/mooney/chill/chill.pl:79
ERROR: [12] chill_lib:cpu_time(user:create_optimized_rules(...,'orig-db.i',_142426,_142428),_142412) at /home/vimos/git/SP/mooney/chill/chill_lib.pl:136
ERROR: [11] chill_specialize('orig-db','<garbage_collected>','orig-db.i','orig-db-opt.pl') at /home/vimos/git/SP/mooney/chill/chill.pl:11
ERROR: [9] run_trials_loop(25,'orig-db',225,200,[[...],...|...],[ti(...,...,...),...|...],'raw250-res1.out') at /home/vimos/git/SP/mooney/chill/chill-test.pl:188
ERROR: [7] <user>
ERROR:
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.
^ Exception: (32) setup_call_catcher_cleanup(system:with_mutex('$load_file', '$mt_start_load'('/home/vimos/git/SP/mooney/chill/orig-db.i', <clause>(0x559a46329ea0), [expand(false), expand(true)])), system:'$mt_do_load'(<clause>(0x559a46329ea0), 'orig-db.i', '/home/vimos/git/SP/mooney/chill/orig-db.i', thetheory, [expand(false), expand(true)]), _142584, system:'$mt_end_load'(<clause>(0x559a46329ea0))) ? creep
^ Call: (34) call(system:'$mt_end_load'(<clause>(0x559a46329ea0))) ? creep
^ Exit: (34) call(system:'$mt_end_load'(<clause>(0x559a46329ea0))) ? creep
有两个动态编译模块test
和thetheory
. 它们都是从同一个文件编译而来的 orig-db.i
。
如果我强制其中一个从不同的文件中读取,orig-db.ii
错误将有所不同。
我尝试了相同的代码yap
,它没有抱怨这个错误。
➜ chill git:(master) ✗ yap [18/06/20| 9:21AM]
% Restoring file /usr/lib/Yap/startup.yss
YAP 6.2.2 (x86_64-linux): Sat Sep 17 13:59:03 UTC 2016
?- consult('chill-test.pl').
yes
?- run_trials('orig-db', 'raw250-split1.pl', 'orig-db-evaluate', 25, 200, 'raw250-res1.out').
<omitted output>
BEGINING INDUCTION: 1 5
% reconsulting /home/vimos/git/SP/mooney/chill/orig-db.i...
% reconsulted /home/vimos/git/SP/mooney/chill/orig-db.i in module thetheory, 0 msec 1344 bytes
Induction Time: 0.00
op(ps([traverse(pvar(1),freevar):[],const(pvar(1),riverid(mississippi)):[mississippi],answer(pvar(0),state(pvar(0))):[which,through]],[run,?]),G9) :-
db_lib:coref_vars(traverse,2,2,answer,2,1,ps([traverse(pvar(1),freevar):[],const(pvar(1),riverid(mississippi)):[mississippi],answer(pvar(0),state(pvar(0))):[which,through]],[run,?]),G9).
op(A,B) :-
introduce(density(_,_),[density],A,B).
op(A,B) :-
db_lib:coref_vars(density,2,1,state,1,1,A,B).
op(A,B) :-
db_lib:coref_vars(density,2,2,smallest,2,1,A,B).
op(A,B) :-
db_lib:lift_conj(state,1,smallest,2,2,A,B).
op(A,B) :-
db_lib:drop_conj(density,2,smallest,2,2,A,B).
替换ensure_loaded
为reconsult
不能解决 中的错误Swi-Prolog
。
我需要一些提示来理解这个错误,这是一个实现问题Swi-Prolog
吗?
如果你想试试,代码可以从下面的 ftp url 中找到。
感谢您的帮助!
我正在尝试将较早的代码迁移到由 Raymond J. Mooney ftp://ftp.cs.utexas.edu/pub/mooney/chill/SWI-Prolog
或更早编写的
代码。所有带有这个标签的问题都与这个任务有关。我是序言的新手,欢迎提供帮助和建议!SICStus 3 #3: Thu Sep 12 09:54:27 CDT 1996
解决方案
这是 SWI-Prolog 的一个记录在案的当前限制,与它的 make 机制有关。一种可能的解决方法是复制该orig-db.i
文件。这样,两个模块test
和thetheory
将加载不同的文件。
推荐阅读
- c# - 如果我输入一个新的注册号删除按钮应该在 C# windows 窗体应用程序中被禁用
- python - 删除行但将列添加到删除的行
- aws-lambda - 节点承诺请求在本地工作,但不适用于 lambda
- javascript - 用 2 个函数作为参数编写函数的最佳方法
- php - Laravel Eloquent 来自 1-many table group by child table column 的最新项目
- memory-alignment - ARMv8:EL3 中未对齐的 LDR 导致异常数据中止
- javascript - 如何在进行 matchSnapshot 测试之前等待 api 结果?
- flutter - Flutter:如何实现从左到右的动画容器?
- python - 应用程序部署时遇到问题 - “sqlalchemy.exc.InvalidRequestError:”
- google-cloud-functions - Google Cloud Functions Analytics API - 删除用户 OAuth2