20 Jul
2005
20 Jul
'05
7:38 p.m.
El jue, 23-06-2005 a las 11:02 +0200, Omar Nabil El Khatib escribió:
Hi all,
Hi,
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)).
You should use import/2 to tell CIAO that your are going to load pp2 dynamically.
:- import(pp2, [test/0, s/1]). :- import(pp3, [test/0, s/1]).
m :- use_module(pp2, [test/0, s/1]), pp2:test, pp2:s(2), use_module(pp3), pp3:test, pp3:s(3).
Regards,
--
Emilio Jesús Gallego Arias <egallego(a)babel.ls.fi.upm.es>
==============================================================================
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/
-----------------------------------------------------------------------------