I am having a strange experience while using builtin qcompile/1
receiving, for instance,
ERROR: catch/3: Undefined procedure: ejockey:module/2
Warning: Redefined static procedure zdd:begin_of_file/0
To explain trouble, error messages, and logs of five queries 1-5 are listed below.
As I thought I must be missing some simple thing as is often, I have skimmed the source code of qcompile/1 but got any sympton.
ERROR messages.
% ?- zdd:qcompile(misc(zdd)), zdd:qcompile(misc('emacs-jockey')).
%@ ERROR: /Users/cantor/devel/zdd/prolog/misc/prolog-elisp.pl:1:
%@ ERROR: '$c_call_prolog'/0: Undefined procedure: zdd:module/2
%@ ERROR: However, there are definitions for:
%@ ERROR: module/1
% ?- zdd:qcompile(misc(zdd)), zdd:qcompile(misc('prolog-elisp')).
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/prolog-elisp.pl:0:
%@ Warning: Redefined static procedure zdd:begin_of_file/0
%@ ERROR: /Users/cantor/devel/zdd/prolog/misc/prolog-elisp.pl:1:
%@ ERROR: catch/3: Undefined procedure: zdd:module/2
%@ ERROR: However, there are definitions for:
%@ ERROR: module/1
Five tries using qcompile/1.
Try 1. (error)
% ?- qcompile(misc(zdd)), qcompile(misc('emacs-jockey')).
%@ true.
% ?- qcompile(misc(zdd)), qcompile(misc('emacs-jockey')).
%@ ERROR: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:1:
%@ ERROR: catch/3: Undefined procedure: ejockey:module/2
%@ ERROR: However, there are definitions for:
%@ ERROR: ejockey:module/1
%@ ERROR: module/1
%@ ERROR: module/1
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:1:
%@ Warning: Goal (directive) failed: ejockey:module(zdd,[sat/1,family_of_sets/2])
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:20:
%@ Warning: Redefined static procedure ejockey:term_expansion/2
%@ Warning: Previously defined at /Users/cantor/devel/zdd/prolog/misc/emacs-jockey.pl:18
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:734:
%@ Warning: Local definition of ejockey:family_of_sets/2 overrides weak import from zdd
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:5132:
%@ Warning: Local definition of ejockey:sat/1 overrides weak import from zdd
%@ true.
Try 2. (success)
% ?- user:qcompile(misc(zdd)), user:qcompile(misc('emacs-jockey')).
%@ true.
% ?- user:qcompile(misc(zdd)), user:qcompile(misc('emacs-jockey')).
%@ true.
Try 3. (success)
% ?- system:qcompile(misc(zdd)), system:qcompile(misc('emacs-jockey')).
%@ true.
% ?- system:qcompile(misc(zdd)), system:qcompile(misc('emacs-jockey')).
%@ true.
Try 4. (success)
% ?- pac:qcompile(misc(zdd)), pac:qcompile(misc('emacs-jockey')).
%@ true.
% ?- pac:qcompile(misc(zdd)), pac:qcompile(misc('emacs-jockey')).
%@ true.
Try 5. (error)
% ?- ejockey:qcompile(misc(zdd)), pac:qcompile(misc('emacs-jockey')).
%@ ERROR: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:1:
%@ ERROR: catch/3: Undefined procedure: ejockey:module/2
%@ ERROR: However, there are definitions for:
%@ ERROR: module/1
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:1:
%@ Warning: Goal (directive) failed: ejockey:module(zdd,[sat/1,family_of_sets/2])
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:20:
%@ Warning: Redefined static procedure ejockey:term_expansion/2
%@ Warning: Previously defined at /Users/cantor/devel/zdd/prolog/misc/emacs-jockey.pl:18
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:734:
%@ Warning: Local definition of ejockey:family_of_sets/2 overrides weak import from zdd
%@ Warning: /Users/cantor/devel/zdd/prolog/misc/zdd.pl:5132:
%@ Warning: Local definition of ejockey:sat/1 overrides weak import from zdd
%@ true.
% ?- ejockey:qcompile(misc(zdd)), pac:qcompile(misc('emacs-jockey')).
%@ true.
Any hint is appreciated.
Kuniaki Mukai