Ciao-users

ciao-users@cliplab.org

948 discussions

Announcement of PhD program within Theorema.
by Theorema 26 Feb '04

26 Feb '04

[We apologize for multiple copies] Positions for PhD Students within the Theorema Project --------------------------------------------------------------------- In the Theorema Project several research assistantships for PhD students are available for 3 to 4 years in the frame of the PhD program of RISC (Research Institute for Symbolic Computation, Johannes Kepler University, Campus Schloss Hagenberg). The goal of the Theorema Project is the design and implementation of a software system for supporting all phases of mathematical theory exploration. The Theorema Group consists of 10 coworkers (faculty, postdocs, PhD students). Candidates for these PhD research asistantships should send their application to Bruno.Buchberger(a)jku.at The application should contain a CV, a list of courses with grades, 3 letters of recommendation. Certificate on English as a working language. Prerequisites: Master's degree in mathematics or computer science, high research potential. For more information see: http://www.risc.uni-linz.ac.at/ http://www.risc.uni-linz.ac.at/people/buchberg/ http://www.theorema.org/ Bruno Buchberger Project Leader of Theorema Bruno Buchberger, Dr phil, DDr hc Professor of Computer Mathematics Research Institute for Symbolic Computation Johannes Kepler University, A4232 Castle of Hagenberg, Austria Phone office: ++43 732 2468 9921 Mobile Phone: ++43 664 4211646 Fax: ++43 732 2468 9930 E-mail: Buchberger(a)RISC.Uni-Linz.ac.at WWW: http://www.risc.uni-linz.ac.at/people/buchberg/ ============================================================================== 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

TCL interface
by jsampson+indexes 16 Dec '03

16 Dec '03

Hello - I see from the archive that a question was asked three years ago, and another earlier this year, about Ciao Prolog's Tcl interface. No answers are recorded. Does anyone use this interface? How should the examples given be operated? Do they work? Regards _John Sampson_ ============================================================================== 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

AISC 2004 1st Call for Papers
by Florina Piroi 12 Nov '03

12 Nov '03

[we apologize for multiple copies] ***************************************************************** CALL FOR PAPERS 7th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION September 22-24, 2004, RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria Conference Chairman: Bruno Buchberger Program Committee Chairman: John Campbell for all details see: http://www.risc.uni-linz.ac.at/conferences/aisc2004/ Please use the new possibility of pre-announcing the submission of papers! Best regards, Bruno Buchberger. ============================================================================== 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

Open Meeting at ICLP03
by Bart Demoen 12 Nov '03

12 Nov '03

************************************************************************ Sorry for multiple copies ************************************************************************ The Association of Logic Programming organises an Open Meeting on the Next Logic Programming Language during the 19th International Conference on Logic Programming which is taking place in Mumbai, India next December. For more details, see http://www.cs.kuleuven.ac.be/~bmd/OPENMEETING/openmeeting.html Regards Bart Demoen & Peter Stuckey ============================================================================== 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

Problem with clp(r) and interface Java/Prolog
by missi＠lazarus.lifl.fr 17 Oct '03

17 Oct '03

Hi. I have written a small example to try CLP(R) and the Java/Prolog interface. Here is the prolog code. :- module(_, [exemple/1], []). :- use_package(clpr). exemple(X):-X .=. 0, X .>. 0. Here is the main part of the Java code. PLVariable currentSolution = new PLVariable(); PLTerm t = new PLStructure(":", new PLTerm[] {new PLAtom("exemple"), new PLStructure ("exemple", new PLTerm[] {currentSolution} )}); PLGoal goal = new PLGoal(plServer,t); try{goal.useModule("exemple");}catch(Exception e){} try { goal.query(); goal.nextSolution(); ... That doesn't work (I get an error message from windows, saying that ciaoengine.exe encountered a problem). It seems that happened for the execution of nextSolution. I'm on WindowsXP and I'm using the 1.9p44 version of Ciao. Hanh-Missi Tran ============================================================================== 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

FINAL CALL FLOPS2004 (DEADLINE EXTENDED)
by German Puebla 10 Oct '03

10 Oct '03

====================================================================== APOLOGIES if you receive this more than once ====================================================================== *********************************************************************** * * * (REALLY) FINAL CALL FOR PAPERS * * Deadline Extension: 1st November * * * * Seventh International Symposium on Functional and Logic Programming * * (FLOPS 2004) * * * * Nara-Ken New Public Hall, Nara, Japan * * April 7-9, 2004 * * * * (http://logic.is.tsukuba.ac.jp/FLOPS2004/) * * * *********************************************************************** Background ========== The symposium is a forum for research on all issues concerning functional programming and logic programming. In particular, it wants to stimulate the cross-fertilization as well as integration of the two paradigms. The symposium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto(1998), Tsukuba (1999), Tokyo (2001) and Aizu (2002). Topics ====== The Seventh International Symposium on Functional and Logic Programming (FLOPS 2004) solicits original papers in all areas of functional and logic programming, including (but not limited to): * Declarative Pearls: new and excellent declarative programs with illustrative applications * Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing * Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems * Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism * Applications: case studies, industrial applications, graphical user interfaces, internet applications, database connection, formal methods and model checking Invited Speakers ================ The following three distinguished researchers have accepted to give invited talks at FLOPS 2004. * Masami Hagiya University of Tokyo * Carsten Schuermann Yale University * Peter Selinger University of Ottawa Submissions =========== Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g. a link to a web page, or an appendix). Submission is Web-based. In order to submit a paper, authors should fill in the submission form available at http://logic.is.tsukuba.ac.jp/FLOPS2004/submission.html where more detailed instructions are given. You MUST submit an abstract by the deadline of October 25 to ensure timely processing of the paper. Publication and presentation of accepted contributions ====================================================== The Proceedings of FLOPS 2004 will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. LNCS is published, in parallel to the printed books, in full-text electronic version and final versions of the papers will need to be provided electronically including the source files. Proceedings will be available at the conference. One author of each accepted contribution is expected to attend the Symposium in order to present it. Important Dates =============== Abstract Submission Deadline October 25, 2003 Paper Submission Deadline: November 1, 2003 Notification: December 20, 2003 Final Version: January 20, 2004 Symposium: April 7-9, 2004 Program Co-Chairs ================= Yukiyoshi Kameyama University of Tsukuba, Japan Peter J. Stuckey University of Melbourne, Australia E-Mail: flops(a)logic.is.tsukuba.ac.jp Program Committee ================= Francois Fages INRIA Rocquencourt Herman Geuvers Nijmegen University Michael Hanus University of Kiel Martin Hofmann University of Muenchen Haruo Hosoya Kyoto University Yukiyoshi Kameyama University of Tsukuba Naoki Kobayashi Tokyo Institute of Technology John Lloyd Australian National University Aart Middeldorp University of Tsukuba Atsushi Ohori JAIST German Puebla Technical University of Madrid Morten Rhiger IT-University of Copenhagen Amr Sabry Indiana University Peter J. Stuckey University of Melbourne Martin Sulzmann National University of Singapore Kazunori Ueda Waseda University Philip Wadler Avaya Labs Local Arrangements Chair ======================== Jacques Garrigue Kyoto University Sponsors ======== FLOPS2004 is supported by Japan Society of Software Science and Technology (JSSST), Association for Logic Programming (ALP) -- =============================================================== | German Puebla | http://clip.dia.fi.upm.es/~german | | Facultad de Informatica | Universidad Politecnica de Madrid | =============================================================== ============================================================================== 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-1.9p98 available
by ciao＠clip.dia.fi.upm.es 18 Sep '03

18 Sep '03

Ciao 1.9p98 is now available. While still not quite our next 'official' version, this version includes many improvements and bug fixes, so we encourage Ciao users to switch to it. It is now available as source for (Unix and OSX) compilation. We expect to have Windows binaries soon. ------------------- The Ciao (C)LP System Development Team ------------------ | The CLIP Group | School of Computer Science ciao(a)clip.dia.fi.upm.es | Technical University of Madrid http://www.clip.dia.fi.upm.es | SPAIN ----------------------------------------------------------------------------- ============================================================================== 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

ITCLS 2003 CfP - Deadline extended to July 14th, 2003
by Jesus Correas Fernandez 07 Jul '03

07 Jul '03

[ITCLS 2003 CfP - Deadline extended to July 14th, 2003] [Apologies if you receive this more than once] Call for Papers and Participation COLOGNET Workshop on Implementation Technology for Computational Logic Systems (ITCLS 2003) Satellite Workshop of FME 2003 Symposium 9 September 2003, Pisa, Italy http://www.clip.dia.fi.upm.es/Conferences/ITCLS-2003/ CoLogNet, the European Network of Excellence in Computational Logic is organizing the Second Workshop on Implementation Technology for Computational Logic Systems (ITCLS) as a satellite workshop of Formal Methods 2003, to take place in Pisa. The previous edition was held in September 2002 in Madrid, affiliated with Logic-based Program Development and Transformation (LOPSTR'02), and co-located with the International Static Analysis Symposium (SAS'02) and the APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02). The workshop is a forum open to both academia and industry and whose aim is to present and discuss work (possibly in progress) related to the topics mentioned below. The ITCLS workshop builds on the tradition of the series of workshops on Implementations of Logic Programming Systems held in the context of COMPULOG NET, the former Network of Excellence in Computational Logic, but opens up its scope to a broader use of logic and formal methods within computational systems. ITCLS 2003 focuses on implementation techniques from the different areas addressed by CoLogNet. The aim is to bring together researchers from fields such as automated reasoning, formal methods and theorem proving, natural language processing, constraint logic programming, inductive logic programming, non-monotonic logic programming, etc. in order to share common problems and solutions regarding implementation and usability issues which arise in formal and logic-based computational systems. Topics of interest for this workshop include, but are not limited to: * Implementation techniques for all aspects of the implementation of systems related to computational logic and formal systems, including: + Formal Methods and its relationship with Computational Logic, + Compiling Specifications, + Theorem Proving, + Non-monotonic Reasoning, Higher Order, Linear Logics, + Logic Programming, + Constraint Programming, and + Natural Language Processing * Environments for computational logic and formal systems, including: + User-interfaces and User-needs, + Software Development, + Debugging and Visualization Techniques, and + Interfaces to Other (possibly Computational Logic) Systems PROGRAMME The workshop will take place during the afternoon and evening of September 9th. The programme will consist of an invited talk (to be announced later) and the presentation of the accepted papers. SUBMISSIONS AND DEADLINES Authors are invited to contribute to the workshop by submitting extended abstracts (6 pages maximum) or full papers (12 pages maximum) on the workshop themes. Limits are strict, and the llncs format (http://www.springer.de/comp/lncs/authors.html) must be used. Submissions are to be sent in PS or PDF format to the organizing committee by emailing them to: colognet-ws-submission_at_clip.dia.fi.upm.es (substitute _at_ by the @ symbol to send email). Submissions originally prepared with LaTeX are highly encouraged, as this will help in preparing the final proceedings, which will be available at the workshop in printed form, as well as electronically. The table below highlights the important dates: Submission deadline: July 14 Notification to authors: July 31 Camera-ready copies: August 15 Workshop: September 9 ORGANIZING COMMITTEE Jesús Correas, UPM, Madrid, Spain Manuel Hermenegildo, UPM, Madrid, Spain Manuel Carro, UPM, Madrid, Spain Germán Puebla, UPM, Madrid, Spain Christian Schulte, KTH, Stockholm, Sweden Please address any question directly related to the workshop to colognet-ws_at_clip.dia.fi.upm.es (substitute _at_ by @). ============================================================================== 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

ITCLS 2003 Call for Papers and Participation
by Jesus Correas Fernandez 17 Jun '03

17 Jun '03

[Apologies if you receive this more than once] Call for Papers and Participation COLOGNET Workshop on Implementation Technology for Computational Logic Systems (ITCLS 2003) Satellite Workshop of FME 2003 Symposium 9 September 2003, Pisa, Italy http://clip.dia.fi.upm.es/Conferences/ITCLS-2003/ CoLogNet, the European Network of Excellence in Computational Logic is organizing the Second Workshop on Implementation Technology for Computational Logic Systems (ITCLS) as a satellite workshop of Formal Methods 2003, to take place in Pisa. The previous edition was held in September 2002 in Madrid, affiliated with Logic-based Program Development and Transformation (LOPSTR'02), and co-located with the International Static Analysis Symposium (SAS'02) and the APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02). The workshop is a forum open to both academia and industry and whose aim is to present and discuss work (possibly in progress) related to the topics mentioned below. The ITCLS workshop builds on the tradition of the series of workshops on Implementations of Logic Programming Systems held in the context of COMPULOG NET, the former Network of Excellence in Computational Logic, but opens up its scope to a broader use of logic and formal methods within computational systems. ITCLS 2003 focuses on implementation techniques from the different areas addressed by CoLogNet. The aim is to bring together researchers from fields such as automated reasoning, formal methods and theorem proving, natural language processing, constraint logic programming, inductive logic programming, non-monotonic logic programming, etc. in order to share common problems and solutions regarding implementation and usability issues which arise in formal and logic-based computational systems. Topics of interest for this workshop include, but are not limited to: * Implementation techniques for all aspects of the implementation of systems related to computational logic and formal systems, including: + Formal Methods and its relationship with Computational Logic, + Compiling Specifications, + Theorem Proving, + Non-monotonic Reasoning, Higher Order, Linear Logics, + Logic Programming, + Constraint Programming, and + Natural Language Processing * Environments for computational logic and formal systems, including: + User-interfaces and User-needs, + Software Development, + Debugging and Visualization Techniques, and + Interfaces to Other (possibly Computational Logic) Systems PROGRAMME The workshop will take place during the afternoon and evening of September 9th. The programme will consist of an invited talk (to be announced later) and the presentation of the accepted papers. SUBMISSIONS AND DEADLINES Authors are invited to contribute to the workshop by submitting extended abstracts (6 pages maximum) or full papers (12 pages maximum) on the workshop themes. Limits are strict, and the llncs format (http://www.springer.de/comp/lncs/authors.html) must be used. Submissions are to be sent in PS or PDF format to the organizing committee by emailing them to: colognet-ws-submission_at_clip.dia.fi.upm.es (substitute _at_ by the @ symbol to send email). Submissions originally prepared with LaTeX are highly encouraged, as this will help in preparing the final proceedings, which will be available at the workshop in printed form, as well as electronically. The table below highlights the important dates: Submission deadline: July 7 Notification to authors: July 28 Camera-ready copies: August 15 Workshop: September 9 ORGANIZING COMMITTEE Jesus Correas, UPM, Madrid, Spain Manuel Hermenegildo, UPM, Madrid, Spain Manuel Carro, UPM, Madrid, Spain Christian Schulte, KTH, Stockholm, Sweden Please address any question directly related to the workshop to colognet-ws_at_clip.dia.fi.upm.es (substitute _at_ by @). ============================================================================== 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

Crash during ciao_query_begin_term(), from C
by Jeff Donner 11 Jun '03

11 Jun '03

Hi, What's the right way to query Ciao from C? Attached are two files which show what I'm trying (to get at some particular predicates) but, Ciao crashes: Ciao-Prolog 1.9 #44: Thu May 22 22:21:28 MDT 2003 ?- use_module(library(show_preds)). yes ?- show_preds(x). orig_var=2, ciao_is_variable? yes goal_var=4, ciao_is_variable? yes ciao_is_structure(goal): yes goal is: some_pred(_var_5) About to begin query goal=3 {ERROR: segmentation violation} { Execution aborted } ?- (To re-create the above, put the attached two files into your ciao library directory and follow the session as shown.) - Also, I have no success getting Ciao to accept a 0-arity foreign predicate. The following all fail with a parse error (so says assert anyway): :- true pred show_preds() :: foreign. :- true pred show_preds :: foreign. :- true pred show_preds/0 :: foreign. (where currently I have .. show_preds(in(X)) :: .. is that a real limit or is the syntax of the above wrong? Thanks for any help, Jeff :- module(show_preds, [show_preds/1], [assertions, basicmodes, regtypes, foreign_interface ]). %% This doesn't seem to like /0 predicates; I have tried: %% show_preds :: .. show_preds/0 :: .. show_preds() :: %% So the argument is unused. :- true pred show_preds(in(X)) :: any_term + foreign. :- use_foreign_source(show_preds_c). :- impl_defined([show_preds/1]). #include <stdio.h> #include "ciao_prolog.h" static void print_ciao_term(ciao_term term); void show_preds(ciao_term unused_term) { ciao_term orig_var = ciao_var(); ciao_term goal = ciao_structure("some_pred", 1, orig_var); ciao_term goal_var = ciao_structure_arg(goal, 1); ciao_query* query = 0; printf("orig_var=%d, ciao_is_variable? %s\n", orig_var, ciao_is_variable(orig_var) ? "yes" : "no"); printf("goal_var=%d, ciao_is_variable? %s\n", goal_var, ciao_is_variable(goal_var) ? "yes" : "no"); printf("ciao_is_structure(goal): %s\n", ciao_is_structure(goal) ? "yes" : "no"); printf("goal is:\n"); print_ciao_term(goal); printf("\n"); printf("About to begin query goal=%d\n", goal); query = ciao_query_begin_term(goal); printf("Began ok...\n"); printf("First ciao_query_next query = %p\n", query); while (ciao_query_next(query)) { printf("print_ciao_term(goal)\n"); print_ciao_term(goal); printf("\n... 'nother ciao_query_next\n"); } /* ciao_bool ciao_query_ok(ciao_query *query); ciao_bool ciao_query_next(ciao_query *query); void ciao_query_end(ciao_query *query); */ ciao_query_end(query); } static void print_ciao_term(ciao_term term) { if (ciao_is_atom(term)) { printf("%s", ciao_atom_name(term)); } else if (ciao_is_variable(term)) { /* most likely not the canonical form of the var.. */ printf("_var_%d", term); } else if (ciao_is_structure(term)) { int i; int a; a = ciao_structure_arity(term); printf("%s(", ciao_structure_name(term)); for (i = 1; i <= a; i++) { print_ciao_term(ciao_structure_arg(term, i)); if (i != a) printf(", "); } printf(")"); } else if (ciao_is_list(term)) { printf("["); print_ciao_term(term); printf("]"); } else if (ciao_is_empty_list(term)) { printf("[]"); } else if (ciao_is_integer(term)) { printf("%d", ciao_to_integer(term)); } else if (ciao_is_number(term)) { printf("%f", ciao_to_float(term)); } else { printf("<unknown/>"); } }

1 0

← Newer
1
...
62
63
64
65
66
67
68
...
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