Ciao-users November 2002

ciao-users@cliplab.org

9 participants
7 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

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 November 2002