We apologize if you receive several copies of this mail.
========================================================
Ph.D. Studies in Symbolic Computation at RISC-Linz
========================================================
Dear Madam/Sir,
Under the URL below, please find the announcement of
PhD studies starting October 2005 in "symbolic computation"
at RISC-Linz. We kindly ask you to make this announcement
known in your department.
http://www.risc.uni-linz.ac.at/education/phd/
Please note that the application deadline is
February 28th, 2005. For any questions regarding applications
do not hesitate to contact me under the email address:
landsmann(a)risc.uni-linz.ac.at
With best regards,
Günter Landsmann (RISC graduate studies coordinator)
==============================================================================
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/
-----------------------------------------------------------------------------
ciao(a)clip.dia.fi.upm.es wrote:
> understanding of modules is correct. But if you had a module
> access problem your predicate would not fail: you would get a
> compile-time error saying that debugger/1 is not imported. So, your
> predicate is most probably not failing bacause debugger/1 is not
> accessible, but for some other reason. You can always use the (source)
> debugger to find out where the failure comes from. If you still have
> problems if you send us the whole program we can probably find it for
> you. Hope this helps.
Ahh, those warnings are actually quite useful! Yes, it was an extra
full-stop in a predicate meaning that the call to debugger became a
declaration. The joy...
Thanks for the help guys, and the other suggestions on the list, much
appreciated.
Amoss
==============================================================================
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/
-----------------------------------------------------------------------------
Hi,
I'm having a few problems getting modules to work in ciao. I'd
appreciate somebody pointing what I'm doing wrong. So I have
one module in a file called plusdebug.pl which is something like
this:
:- module(plusdebug,_)
debugger([]).
debugger(Lst) :- ...
If I import this into the top level with
?- use_module(plusdebug).
Then I can use the predicate fine. If I try to use it within a file
called analyser.pl, then I get problem. The second file has:
:- module(analyser,_)
:- use_module(plusdebug).
... in a predicate later
debugger([some,data]),
...
The predicate in analyser.pl always fails. Am I missing something about
how modules work and how to import predicates from one module into another?
Amoss
PS The documentation is quite good, but in places (like the module
section) it would be really good to have some concrete examples.
==============================================================================
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/
-----------------------------------------------------------------------------