Ciao-users

ciao-users@cliplab.org

948 discussions

Research Grants at UPM
by clip-small＠clip.dia.fi.upm.es 29 Nov '02

29 Nov '02

[Apologies for multiple copies] [Please, post as you deemed appropriate] The CLIP Group, Technical University of Madrid (UPM), offers 2 pre-doctoral, 4-year scholarships (research assistant level) available within the area of programming language technology: program analysis, transformation, and compilation. The work, intended to lead to a Ph.D., is to be done as a member of the CLIP Group http://www.clip.dia.fi.upm.es, within a nationally funded research project. The scholarships are funded by the Ministry of Science and Technology http://www.mcyt.es. Requirements for candidates are detailed in the CLIP group's job openings page: http://www.clip.dia.fi.upm.es/Job_Openings/jobs.html Application deadline is December 6th, 2002 (strict). Please, send a short CV, including previous research work and publications, and 1 to 3 references in electronic form in reply to this message. The main theme of the work envisioned within the scholarships is to advance the state of the art of automatic program manipulation techniques. The objective is to increase the power of such techniques and integrate them in practical tools within the Ciao multi-paradigm programming system, including logic, functional, constraint, and object-oriented programming. One additional objective is to target program optimizations to the needs of the computational elements of pervasive computing environments. One of the main lines of work implies extending the program compilation and development tools so that they can be used in such an environment to reduce program resource consumption and to instrument programs to perform dynamic control of such consumption during execution. The final aim is to develop an environment that would be an ideal candidate for programming ambient intelligence in mobile and pervasive computing environments. ============================================================================== 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

mysql interface
by Alberto Ruiz Cristina 25 Nov '02

25 Nov '02

Hi I am trying to use the mysql interface in Ciao Prolog but I get an error message when including the module, taken from the example http://clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_143.html#SEC564: % Low level MySQL interface. :- use_module(library('persdb_mysql/mysql_client')). Assembler messages: FATAL: Can't create /usr/local/lib/ciao/ciao-1.8/library/persdb_mysql/mysql_client_LINUXi86_glue.o: Permiso denegado Assembler messages: FATAL: Can't create /usr/local/lib/ciao/ciao-1.8/library/persdb_mysql/mysql_client_LINUXi86_glue.o: Permiso denegado {Dynamic link failed} Do you know what is happening, or does any of you have a working example of managing mysql databases without getting these errors? Thank you in advance Alberto Ruiz Cristina ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

Can I use a module written with ciao from a C-programmed application?
by Vidal Moreno Rodilla 19 Nov '02

19 Nov '02

Hi, We are developing a navigation software for a robot (AmigoRobot). The software are being developed in C under Linux. But we want to implement a search tool that we think that it would be implemented in Prolog. Can we do that with Ciao Prolog? Vidal Moreno Rodilla Profesor Titular. Dpto. Informática y Automática Fac. Ciencias. Univ. Salamanca Pl. Merced s/n. 37008-SALAMANCA-SPAIN Tel:. +34-923-294653 Fax: +34-923-294514 ============================================================================== 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

Low-level debugging
by Roberto Bagnara 05 Nov '02

05 Nov '02

Hi there, what is the recommended way of running the Ciao Prolog shell under gdb? What I need to do is to find the cause of a segmentation fault that is happening in some foreign language module. In other words, here is what happens: $ ciao Ciao-Prolog 1.8 #2: Tue Oct 29 22:49:43 CET 2002 ?- ensure_loaded(ppl_ciao). yes ?- use_module(ppl_ciao). yes ?- ppl_initialize. yes ?- ppl_new_Polyhedron_from_dimension(c, 3, X). {ERROR: segmentation violation} { Execution aborted } ?- To proceed with my investigation I need to catch that segmentation violation. Thanks a lot Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara(a)cs.unipr.it ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

Re: curly braces
by John O'Gorman 05 Nov '02

05 Nov '02

Gregory Bourassa wrote: > > John, > > They are used in Definite Clause Grammar (DCG) clauses to enclose a > Prolog expression (term) which will not be translated by the grammar > translation. As you may know, the DCG clauses are translated into > plain Prolog clauses which take care of handling the lists of input > tokens over which the grammar will be applied. This saves you writing > the list-handling part of things, which can be boring and error-prone. > The terms enclosed in curly brackets are included in these translated > clauses, but without change. You generally use them to state logical > relations about things in the grammar. Aha! Thank you Gregory. What a brilliant explanation! John O'Gorman > > Regards. > > Gregory Bourassa > > On Nov 04, "John O'Gorman" <john.ogorman(a)zombie.co.nz> wrote: > > > > > > Hi people > > > > Can anyone tell me the meaning of {} in prolog. > > Claudi Marcus has examples of terms within curly > > braces in her book. Also Prolog: The Standard > > has then in its syntax diagrams. > > > > But I cannot find any explanation of their meaning. > > > > John O'Gorman > > ============================================================================== > > 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: <a href='http://www.clip.dia.fi.upm.es/Mail/ciao- > users/'>http://www.clip.dia.fi.upm.es/Mail/ciao-users/</a> > > ----------------------------------------------------------------------------- > > ============================================================================== 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

Re: curly braces
by Gregory Bourassa 05 Nov '02

05 Nov '02

John, They are used in Definite Clause Grammar (DCG) clauses to enclose a Prolog expression (term) which will not be translated by the grammar translation. As you may know, the DCG clauses are translated into plain Prolog clauses which take care of handling the lists of input tokens over which the grammar will be applied. This saves you writing the list-handling part of things, which can be boring and error-prone. The terms enclosed in curly brackets are included in these translated clauses, but without change. You generally use them to state logical relations about things in the grammar. Regards. Gregory Bourassa On Nov 04, "John O'Gorman" <john.ogorman(a)zombie.co.nz> wrote: > > > Hi people > > Can anyone tell me the meaning of {} in prolog. > Claudi Marcus has examples of terms within curly > braces in her book. Also Prolog: The Standard > has then in its syntax diagrams. > > But I cannot find any explanation of their meaning. > > John O'Gorman > ============================================================================== > 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: <a href='http://www.clip.dia.fi.upm.es/Mail/ciao- users/'>http://www.clip.dia.fi.upm.es/Mail/ciao-users/</a> > ----------------------------------------------------------------------------- > ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

curly braces
by John O'Gorman 04 Nov '02

04 Nov '02

Hi people Can anyone tell me the meaning of {} in prolog. Claudi Marcus has examples of terms within curly braces in her book. Also Prolog: The Standard has then in its syntax diagrams. But I cannot find any explanation of their meaning. John O'Gorman ============================================================================== 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

Ciao Icon
by John O'Gorman 13 Oct '02

13 Oct '02

Hi Is there an icon (.xpm, .gif) favoured by the developers for Ciao Prolog. I would like to add a launcher for Prolog and Prolog applicactions to Redhat 7.3 Gnome desktops and SuSE KDE desktops John O'Gorman ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

Solaris environment, compile problems, setenv() and friends
by Vasilios Hoffman 02 Oct '02

02 Oct '02

Hi, Sorry to bother you folks, but I'm building ciao-1.8p2 on a solaris/sparc 5.7 platform with gcc 2.95.3, and there is a surprising error. The make fails because of the following error: gcc wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o objareas.o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o tasks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o initial.o registers.o stacks.o support.o term_support.o wamsupport.o qread.o qget.o builtin.o interrupt.o gauge.o bignum.o profile.o ciao_prolog.o start.o version.o sockets_c.o random.o main.o -ldl -lm -lnsl -lpthread -lrt -lsocket -o ciaoengine Undefined first referenced symbol in file setenv unix_utils.o ld: fatal: Symbol referencing errors. No output written to ciaoengine which is definately because unix_utils.c is using setenv() -- and that's not present in solaris C libraries (at least through solaris 8, I haven't checked solaris 9). It's not present in a lot of C libraries, so I'm very surprised that it's used when it is detecting a "SolarisSparc" system -- which it does, btw, for example: if test ! -d /usr/local/src/ciao-1.8p2/bin/SolarisSparc ; then \ mkdir /usr/local/src/ciao-1.8p2/bin/SolarisSparc ; chmod 775 /usr/local/src/ciao-1.8p2/bin/SolarisSparc ; fi make[2]: Leaving directory `/usr/local/src/ciao-1.8p2' cd /usr/local/src/ciao-1.8p2/bin/SolarisSparc && \ ln -s ../../engine/*.[ch] . && \ ln -s ../../engine/Makefile . && \ rm -f configure.h make createincludedir is right in the beginning of the output of make. So, any ideas? All I did was edit SETTINGS and run make. The system is fairly gnu-ified, and it is used for compiling a diverse assortment of things, so most tools are there and/or fairly up-to-date (gcc2.95.3 versus newer gcc3+ is a topic for another day). If there's some patch I need, or something I need to edit, please let me know! I don't want to mess around any more, because it's such an obvious bug that I have to believe it's something stupid on my end... Thanks, -V Hoffman Vasilios Hoffman Junior Unix Administrator Wesleyan University voice (860) 685-3142 fax (860) 685-2401 ============================================================================== 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/ -----------------------------------------------------------------------------

2 3

Re: horse_riding and MYCIN
by John O'Gorman 30 Sep '02

30 Sep '02

Thanks to Paco Bueno's changes to mycin_tr.pl, I can now use the example horse_riding. As explained by Paco, mycin is a package. At compile-time it rewrites its clauses into a different form. This provokes the question: Is is possible to prompt for some of the properties (like sunny(yes) cf 0.6) and then submit them from the top level to mycin. I am trying to build a small expert system (for claims processing). So I want to use something like the Solve program in Art of Prolog (p 312) to get the answers to a series of questions - assert a set of statements of the form: property(x) cf CF, then query: ?- file:mycin(payout(x),CF). Can this be done simply and directly? Or will I have to write code to 1. Prompt for the answers (where necessary) 2. Build a file (like horse_riding.pl) and compile it. 3. use_module the new file. 4. delete the file. John O'Gorman Francisco Bueno Carrillo wrote: > > The mycin library is a package (also assertions). The use of packages > can be declared in three ways: > > :- use_package(mycin). > :- module(MyModule,[...],[mycin]). > :- mycin(MyModule). > > As mentioned, :- mycin(MyModule). is just a way of declaring the use > of the mycin package within a file. It is not a call to a > predicate. So, in fact, there is no much use in calling it from the > top level. > > Paco Bueno ============================================================================== 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

← Newer
1
...
68
69
70
71
72
73
74
...
95
Older →

Jump to page:

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