Ciao-users January 2005

ciao-users@cliplab.org

4 participants
3 discussions

RISC PhD Application announcement.
by Risc PhD Program 24 Jan '05

24 Jan '05

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/ -----------------------------------------------------------------------------

1 0

[Fwd: Re: Using modules]
by Amoss 21 Jan '05

21 Jan '05

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/ -----------------------------------------------------------------------------

1 0

Using modules
by Amoss 21 Jan '05

21 Jan '05

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/ -----------------------------------------------------------------------------

3 3

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users January 2005