Ciao-users

ciao-users@cliplab.org

948 discussions

ICLP 2005 Doctoral Consortium: Call for Applications
by ICLP 2005 10 Feb '05

10 Feb '05

International Conference on Logic Programming Doctoral Consortium Sitges (Barcelona), Spain October 2-5, 2005 http://www.cs.nmsu.edu/~epontell/DC2005 ----------- The ICLP Doctoral Consortium (DC) is the first ever doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2005 in Sitges (Barcelona), Spain. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, who are planning to pursue a career in academia. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2005 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non- traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). The Consortium is for students at any stage of their doctoral studies are welcome to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2005 conference; the ICLP conference will run from October 2nd to October 5th, 2005. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2005 conference proceedings. Discussants: Several renown faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2005 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2005 -------- Important Dates Submission Deadline: June 1st, 2005 Acceptance Notification: July, 1st 2005 Last Date to Update Research Summary: July 15th, 2005 Doctoral Consortium: October 2-5, 2005 ICLP 2005 Conference: October 2-5, 2005 ------------ Doctoral Consortium Chair: Enrico Pontelli Department of Computer Science New Mexico State University MSC CS, Box 30001 Las Cruces, NM 88003, USA epontell _a_t_ cs.nmsu.edu ============================================================================== 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

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

PADL 2005: Call for participation (early reg. deadline near)
by Daniel Cabeza Gras 10 Dec '04

10 Dec '04

---------------------------------------------------------------------- Apologies for multiple copies or if you are not interested ---------------------------------------------------------------------- CALL FOR PARTICIPATION * NEW: Provisional Program included * Seventh International Symposium on Practical Aspects of Declarative Languages 2005 (PADL 05) http://www.unm.edu/~herme/padl05/ Long Beach, California, USA January 10-11, 2005 Co-located with ACM POPL, January 12-14, 2005 Early registration deadline: ** December 15th ** Declarative languages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of different real-world situations, including database management, active networks, software engineering, decision support systems, or music composition. New developments in theory and implementation have opened up new application areas. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications often drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Evaluation of implementation techniques on practical applications. * Novel implementation techniques relevant to applications. * Novel uses of declarative languages in the classroom. * Practical experiences. PADL 05 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the first six PADL symposia (past proceedings can be found in Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057). In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL, January 12-14. PROGRAM CHAIRS Manuel Hermenegildo The University of New Mexico AND Universidad Politecnica de Madrid Daniel Cabeza Universidad Politecnica de Madrid PROGRAM COMMITTEE Kenichi Asai Ochanomizu University, Japan Manuel Carro T.U. Madrid, Spain Bart Demoen K.U. Leuven, Belgium Robert Findler The University of Chicago, US John Gallagher Roskilde University, Denmark Hai-Feng Guo University of Nebraska at Omaha, US Gopal Gupta University at Texas at Dallas, US (General Chair) Chris Hankin Imperial College London, UK Joxan Jaffar National U. of Singapore, Singapore Alan Mycroft Cambridge University, UK Gopalan Nadathur U. of Minnesota, US Lee Naish U. of Melbourne, Australia Simon Peyton-Jones Microsoft Research, US John Reppy University of Chicago, US Morten Rhiger Roskilde University, Denmark Francesca Rossi University of Padova, Italy Vitor Santos-Costa U, Federal do Rio de Janeiro, Brazil Terrance Swift S.U. of New York at Stony Brook, US David S. Warren S.U. of New York at Stony Brook, US INVITED SPEAKERS Norman Ramsey Harvard University Saumya Debray The University of Arizona PROVISIONAL PROGRAM Day 1: Monday, Jan 10th, 2005 12:00 - 1:00 : REGISTRATION 1:00 - 1:10 : WELCOME AND OPENING REMARKS 1:10 - 2:10 : Invited talk - Norman Ramsey, Harvard University "Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction" 2:10 - 2:30 : COFFEE BREAK 2:30 - 4:00 : Practical Applications "Character-Based Cladistics and Answer Set Programming" Daniel Brooks, Esra Erdem, James Minett, Donald Ringe "Specializing Narrowing for Timetable Generation: A Case Study" Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frederic Prost "Functional Framework for Sound Synthesis" Jerzy Karczmarczuk 4:00 - 4:30 : COFFEE BREAK 4:30 - 6:30 : Functional Programming "A Full Pattern-based Paradigm for XML Query Processing" Benzaken Véronique, Castagna Giuseppe, Miachon Cédric "Type Class Directives" Bastiaan Heeren, Jurriaan Hage "Improved Fusion for Optimizing Generics" Sjaak Smetsers, Artem Alimarine "The Program Inverter LRinv and its Structure" Masahiko Kawabe, Robert Glueck 8:00 pm : PADL Dinner Day 2: Tuesday, Jan 11th, 2005 8:00 - 9:00 : BREAKFAST 9:00 - 10:00 : Invited talk - Saumya Debray, University of Arizona "Code Compression" 10:00 - 10:30 : COFFEE BREAK 10:30 - 12:00 : Constraint Programming "Solving Constraints on Sets of Spatial Objects" Jesus M. Almendros-Jimenez, Antonio Corral "Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization" James Bailey, Peter Stuckey "Solving Collaborative Fuzzy Agents Problems with CLP(FD)" Susana Munoz-Hernandez, Jose Manuel Gomez-Perez 12:00 - 1:30 : LUNCH BREAK 1:30 - 3:00 : Implementation of Logic Programming Extensions "A Provably Correct Compiler for Efficient Model Checking of Mobile Processes" Ping Yang, Yifei Dong, C.R. Ramakrishnan, Scott A. Smolka "An Ordered Logic Program Solver" Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir "Improving Memory usage in the BEAM" Ricardo Lopes, Vitor Santos-Costa 3:00 - 3:30 : COFFEE BREAK 3:30 - 5:30 : New Language Developments "Role-based Declarative Synchronization for Reconfigurable Systems" Vlad Tanasescu, Pawel Wojciechowski "Towards a More Practical Hybrid Probabilistic Logic Programming Framework" Emad Saad, Enrico Pontelli "Safe Programming with Pointers through Stateful Views" Dengping Zhu, Hongwei Xi "Towards Provably Correct Code Generation via Horn Logical Continuation Semantics" Qian Wang, Gopal Gupta, Michael Leuschel 5:30 : END OF SYMPOSIUM CONTACTS Please visit the conference web site: http://www.unm.edu/~herme/padl05/ for further information. For additional information about the conference please contact the General Chair: Gopal Gupta Department of Computer Science University at Texas at Dallas, Dallas, TX, U.S.A. gupta(a)utdallas.edu SPONSORED BY: ACM SIGPLAN (applied for), COMPULOG Americas (http://www.cs.nmsu.edu/~complog), The Association for Logic Programming (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/) ============================================================================== 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

compiling from Prolog to C
by Nicolás Rotstein 06 Dec '04

06 Dec '04

Hi, is there any new about CIAO compiling to C code?, I've been looking for a solution to the problem of portability and it seems that this topic is not resolved yet. Nico. ___________________________________ ¡Llevate a Yahoo! en tu Unifón! Ahora podés usar Yahoo! Messenger en tu Unifón, en cualquier momento y lugar. Encontrá más información en: http://ar.mobile.yahoo.com/sms.html ============================================================================== 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

[CIAO] Logtalk 2.22.0 released
by Manuel Carro 30 Nov '04

30 Nov '04

Hi! Logtalk 2.22.0 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This release introduces a notion of library as a directory of source files, adds a dynamic predicate for declaring library names and paths, allows source files to be compiled and loaded using the notation <library>(<entity>), improves installation instructions and scripts, and provides several usability enhancements. From the release notes: * Implemented a notion of library as simply a directory containing source files. Added a new dynamic predicate, logtalk_library_path/2, for specifying library paths. Added sample file for setting library paths for the Logtalk standard library and for all the supplied examples. * Added support for using the notation <library>(<entity>) with the built-in predicates logtalk_compile/1-2 and logtalk_load/1-2 for compiling and loading source files contained on a library, without the need to first change the current working directory. * Changed the library and the examples loading instructions to use the notation <library>(<entity>). * Improved installation instructions and installation scripts. Added a new environment variable, LOGTALKUSER, for defining the location of the copies of the user-modifiable Logtalk files in a multiple users setup environment. * Added utility predicates to most configuration files for querying and changing the current working directory (needed for the <library>(<entity>) notation to work). * Corrected a bug in the code that checks for file existence when compiling or loading source files and source metafiles. The CVS tag for this release is "lgt2220". Happy logtalking! Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319891 Portugal <mailto:pmoura(a)di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.org> ----------------------------------------------------------- ============================================================================== 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

question about listing
by Lindsay Cowell 08 Nov '04

08 Nov '04

i am brand new to prolog (less than 24hours) so i appologize if this is a competely stupid question. i am trying to work through so tutorials/examples i found online. several times i have come accross the predicate listing. when i try to use this in ciao prolog, i get the error message undefined predicate. in one of the references that i found this in (prolog now), it is referred to as a built-in prolog predicate. i think i need to load some library or module or something but i can't tell from reading the ciao prolog manual what the library is. i am grateful for any comments. thanks. lindsay -- Lindsay Grey Cowell, Ph.D. Assistant Professor Department of Biostatistics and Bioinformatics Center for Bioinformatics and Computational Biology 107 North Bldg, Research Drive Box 90090 Duke University Durham, NC 27708 919 681 6226 (Tel) 919 668 2465 (Fax) lgcowell(a)duke.edu ============================================================================== 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

Problems compiling under SuSE 9.1
by Christoph Steinemann 22 Sep '04

22 Sep '04

Hi list I have problems configuring ciao for compilation under SuSE 9.1. Following the error-message: -- snip emacs -batch -l word-help.el -l ciao.el -f compile-ciao-mode Loading suse-start-url (source)... Loading suse-start-w3 (source)... Loading rng-auto.el (source)... nxml-mode is not compatible with Mule-UCS gmake[2]: *** [compile] Error 255 gmake[2]: Leaving directory `/usr/local/src/ciao-1.10p5/emacs-mode' gmake[1]: *** [environment] Error 2 gmake[1]: Leaving directory `/usr/local/src/ciao-1.10p5' gmake: *** [all] Error 2 -- snip The problem is the same whether I set INSTALL_EMACS_SUPPORT=no or INSTALL_EMACS_SUPPORT=yes. Can someone help? Thanks, Christoph ============================================================================== 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

Logtalk 2.21.0 is now available for downloading
by Paulo Moura 14 Sep '04

14 Sep '04

Hi! Logtalk 2.21.0 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This release adds a new predicate directive, alias/3, which allows the definition of alternative predicate names in order to improve readability of inherited features and to solve conflicts between implemented, imported, or inherited predicates. In addition, categories are now allowed to import other categories, useful when a modified version of a category is needed for importing into several unrelated objects. Three new examples are included, illustrating the new features of this release. From the release notes: * Added a new predicate directive, alias/3, which allows the definition of alternative predicate names in order to improve readability of inherited features and to solve conflicts between implemented, imported, or inherited predicates. * Added new example, "aliases", illustrating the use of the new alias/3 predicate directive for improving readability of inherited features. * Added new example, "diamonds", illustrating problems and solutions for the "diamond problem" (multi-inheritance conflicts and ambiguities) using the new alias/3 predicate directive. * Allow categories to import other categories, i.e. allow categories to be defined as a composition of other categories. This feature should only be used when extending a category without breaking its functional cohesion (for example, when a modified version of a category is needed for importing into several unrelated objects). * Added new example, "engines", illustrating importing a category from another category. * Updated the syntax coloring configuration files for the supported text editors for the new alias/3 predicate directive. * Added autocomplete strings for Logtalk methods and for Logtalk and Prolog built-in predicates and directives to the SubEthaEdit 2.x text editor. * Corrected a bug which prevented compilation of metafiles containing parametric entities. The CVS tag for this release is "lgt2210". Happy logtalking! Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319891 Portugal <mailto:pmoura(a)di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.org> ----------------------------------------------------------- ============================================================================== 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
...
53
54
55
56
57
58
59
...
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