Ciao-users July 2012

ciao-users@cliplab.org

2 participants
2 discussions

Call for Participation: WLPE 2012
by Wim Vanhoof 30 Jul '12

30 Jul '12

[Apologies for multiple copies...] ----------------------------------------------------------- WLPE 2012 - CALL FOR PARTICIPATION *** EARLY REGISTRATION DEADLINE: July 31, 2012 *** ----------------------------------------------------------- Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP 2012) September 8, 2012 Budapest, Hungary http://users.dsic.upv.es/workshops/wlpe2012/ ----------------------------------------------------------- IMPORTANT DATES * Deadline for early registration: July 31, 2012 * Deadline for regular registration: August 17, 2012 * WLPE 2012: September 8, 2012 Registration site is open: http://www.cs.bme.hu/iclp2012/Registration.html INVITED TALK WLPE 2012 will feature an invited talk by * Manuel Carro (Univ. Politécnica de Madrid) The proceedings of WLPE 2012 will be available in pdf format during the workshop. BACKGROUND AND SCOPE Software plays a crucial role in modern society. While the continuous advent of faster, smaller and more powerful computing devices makes the development of new and interesting applications feasible, it puts even more demands on the software developer. Having logic as the underlying formalism means that logic-based analysis techniques are often successfully used for program verification and optimization. Emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited. Moreover, extending the practical applicability of the existing approaches is an important task. The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. As in recent years the workshop topics include not only environmental tools for logic programming but increasingly also logic-based environmental tools for programming in general and frameworks and resources for sharing in the logic programming community. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. Previous workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), and Odense, Denmark (2011). Program committee ----------------- Salvador Abreu Universidade de Évora, Portugal Petra Hofstedt University of Technology Berlin, Germany Jacob Howe City University London, UK Yoshitaka Kameya Tokyo Institute of Technology, Japan Roland Kaminski Universität Postdam, Germany Lunjin Lu Oakland University, USA Alexander Serebrenik Eindhoven University of Technology, The Netherlands Peter Schneider-Kamp University of Southern Denmark, Denmark Zoltan Somogyi University of Melbourne, Australia Win Vanhoof University of Namur, Belgium Alicia Villanueva Universitat Politècnica de València, Spain Damiano Zanardini Universidad Politécnica de Madrid, Spain Workshop organizers ------------------- Win Vanhoof Faculty of Computer Science University of Namur Namur, Belgium Email: wlpe2012(a)dsic.upv.es Alicia Villanueva Department of Computer Science (DSIC) Universitat Politècnica de València Valencia, Spain Email: wlpe2012(a)dsic.upv.es

1 0

pl2sql doens't compile :'-((
by slaphead99＠hotmail.com 18 Jul '12

18 Jul '12

Hi Prologers! Can anyone see why I can't get pl2sql_example.pl to compile (I do have full permissions on the root directory)? ?- [pl2sql_example]. {Compiling /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/persdb_mysql/pl2sql.plERROR: (lns 240-247) Predicate sqlterm/1 undefined in source ERROR: (lns 694-701) Predicate translate_functor/2 undefined in source ERROR: (lns 706-713) Predicate translate_arguments/5 undefined in source ERROR: (lns 721-731) Predicate translate_argument/5 undefined in source ERROR: (lns 748-751) Predicate lookup/3 undefined in source ERROR: (lns 760-763) Predicate add_to_dictionary/6 undefined in source ERROR: (lns 1017-1025) Predicate sqlterm/1 undefined in source ERROR: Aborted module compilation } yes And, just in case it was something stupid, I treid something else but with same result: ?- [getting_user_table]. {Reading /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/persdb_mysql/examples/small_examples/user_and_password.plWARNING: (lns 1-1) Source used as module without module declaration {Including /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/persdb_mysql/examples/user_and_password.plERROR: (lns 1-1) Declaration module/3 not starting file } } {Compiling /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/persdb_mysql/examples/small_examples/getting_user_table.plERROR: (lns 7-12) Predicate mysql_host_and_port/1 undefined in source ERROR: (lns 7-12) Predicate mysql_user/1 undefined in source ERROR: (lns 7-12) Predicate mysql_password/1 undefined in source ERROR: Aborted module compilation } {Compiling /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/persdb_mysql/pl2sql.plERROR: (lns 240-247) Predicate sqlterm/1 undefined in source ERROR: (lns 694-701) Predicate translate_functor/2 undefined in source ERROR: (lns 706-713) Predicate translate_arguments/5 undefined in source ERROR: (lns 721-731) Predicate translate_argument/5 undefined in source ERROR: (lns 748-751) Predicate lookup/3 undefined in source ERROR: (lns 760-763) Predicate add_to_dictionary/6 undefined in source ERROR: (lns 1017-1025) Predicate sqlterm/1 undefined in source ERROR: Aborted module compilation } {Dynamic link failed} yes Thanks! Chris.

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 July 2012