Hi all,
I have a question. I want to load a file at runtime. See the example below:
% file 1: pp1.pl :- module(pp1, [m/0]). :- use_module(library(compiler)). m :- use_module(pp2, [test/0, s/1]), pp2:test, pp2:s(2), use_module(pp3), pp3:test, pp3:s(3).
% file: pp2.pl :- module(pp2, [test/0, s/1]). test :- message(['pp2']). s(X) :- message(['pp2:', X]).
% file: pp3.pl :- module(pp3, [test/0, s/1]). test :- message(['pp3']). s(X) :- message(['pp3:', X]).
When loading pp1.pl from ciao, the following error message appears: ?- use_module(pp1). {Compiling /cygdrive/d/pp1.pl ERROR: Bad module qualification of test/0, predicate not imported form module pp2 ERROR: Bad module qualification of s/1, predicate not imported form module pp2 ERROR: Bad module qualification of test/0, predicate not imported form module pp3 ERROR: Bad module qualification of s/1, predicate not imported form module pp3 } ?- yes
Can anyone tell me why the above program does not work.
Respectively Omar.
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------