Hi,
I want to call a ciao module from a C++ program,
and it seems that the way to do it is to use libciao.a.
(Is it true?)
I tried to write a simple program using libciao.a
(the code below), but running it results in "segmentation fault".
==========================
#include <iostream>
#include <ciao_prolog.h>
int main(int argc, char *argv[])
{
ciao_term v = ciao_var();
if (ciao_is_variable(v))
printf("a variable is produced");
else
printf("v is not a variable");
}
==========================
When I compile with this command :
g++ -o testciao testciao.C -L/usr/local/src/ciao-1.10p6/bin/LINUXi86 -lciao
-lpthread -ldl
Compilation was successful but there was warning:
/usr/local/src/ciao-1.10p6/bin/LINUXi86/libciao.a(streams.o): In function
`ENG_perror':
streams.c:(.text+0x52a): warning: `sys_errlist' is deprecated; use
`strerror' or `strerror_r' instead
/usr/local/src/ciao-1.10p6/bin/LINUXi86/libciao.a(unix_utils.o): In function
`prolog_unix_mktemp':
unix_utils.c:(.text+0x825): warning: the use of `mktemp' is dangerous,
better use `mkstemp'
Anyone can help?
Thanks,
Wiratna
--
"Feel free" - 10 GB Mailbox, 100 FreeSMS/Monat ...
Jetzt GMX TopMail testen: http://www.gmx.net/de/go/topmail
==============================================================================
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/
-----------------------------------------------------------------------------
[Apologies for multiple postings]
-----------------------------------------------------------
WLPE' 06 - 2nd CALL FOR PAPERS
Workshop on Logic-based Methods in
Programming Environments
(satellite workshop of ICLP’06)
August 16, 2006
Seattle (Washington), USA
http://lml.ls.fi.upm.es/~susana/Conferences/WLPE06/
-----------------------------------------------------------
Aim and Scope
-------------
The 16th Workshop on Logic-based methods in Programming Environments
will take place in Seattle (Washington), USA, as a satellite workshop
of ICLP'06, the 22th International Conference on Logic Programming.
This workshop will continue the series of successful international
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) and Sitges,
Spain (2005).
The workshop aims at providing an informal meeting for the researchers
working on logic-based tools for development and analysis of programs.
This year we want to emphasize two aspects: on one hand we want to
discuss the presentation, pragmatics and experiences of such tools; on
the other one, we want to shift the traditional focus on environment
tools for logic programming to logic-based environmental tools for
programming in general. Specific topic areas relevant to the workshop
include, but are not limited to:
* tools for debugging and testing
* tools for static and dynamic analysis
* systems for program verification and validation
* code generation from specifications
* termination and non-termination analyzers
* reasoners on occurs-check freeness and determinacy
* profilers and performance analyzers
* systems for types and modes analyzes
* module systems
* optimization tools.
In addition to papers describing more conceptual work on environmental
tools, we solicit papers describing the implementation of and
experimentation with such tools.
Submission guidelines
---------------------
Length of papers can range from 2 to 17 pages, preferably in LNCS
format. Authors are requested to submit their paper using the
submission webpage at http://vampire.cs.man.ac.uk/WLPE-06/
Alternatively, authors can send a copy of their paper (in pdf or ps
format) to the workshop coordinator (wva(a)info.fundp.ac.be).
An informal proceedings will be published as a technical report of the
University of Namur and distributed at the workshop. After the workshop,
the proceedings will be publicly available on-line in the Computing
Research Repository (CoRR).
Important dates
---------------
Submission: May 15, 2006
Notification: June 15, 2006
Camera-ready: July 10, 2006
Workshop: August 16, 2006
Workshop organizers
-------------------
Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
Wim Vanhoof (coordinator) (Univeristy of Namur, Belgium)
Program Committee
-----------------
María Alpuente (Universidad Politécnica de Valencia, Spain)
Mireille Ducassé (INSA/IRISA, Rennes, France)
John Gallager (Roskilde University, Denmark)
María García de la Banda (Monash University, Australia)
José Manuel Gómez-Pérez (ISOCO Madrid, Spain)
Gopal Gupta (University of Texas at Dallas, U.S.A)
Moreno Falaschi (Università di Udine, Italy)
Pat Hill (University of Leeds, U.K.)
Michael Leuschel (Heinrich-Heine-Universitat Düsseldorf, Germany)
Fred Mesnard (Université de La Réunion, France)
Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
Kostis Sagonas (Uppsala University, Sweden)
Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands)
Zoltan Somogyi (University of Melbourne, Australia)
Wim Vanhoof (University of Namur, Belgium)
==============================================================================
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/
-----------------------------------------------------------------------------
[Our apologies if you receive multiple copies]
-----------------------------------------------------------------------
WRS06
The Sixth International Workshop on
Reduction Strategies in Rewriting and Programming
http://www.cs.pdx.edu/~antoy/wrs06/
The Seattle Sheraton Hotel and Towers,
Seattle, Washington, August 11, 2006
Scope
The workshop intends to promote and stimulate international
research and collaboration in the area of evaluation
strategies. It encourages the presentation of new
directions,developments and results as well as surveys and
tutorials on existing knowledge in this area. Reduction strategies
study which subexpression(s) of an expression should be
selected for evaluation and which rule(s) should be applied. These
choices affect fundamental properties of a computation such as
laziness, strictness, completeness and need to name a few. For this
reason some programming languages, e.g., Elan, Maude, *OBJ* and
Stratego, allow the explicit definition of the evaluation
strategy, whereas other languages,e.g., Clean, Curry, and Haskell,
allow its modification. Strategies pose challenging theoretical
problems and play an important role in practical tools such as
theorem provers, model checkers and programming languages. In
implementations of languages, strategies bridge the gap between
operational principles, e.g., graph and term rewriting,narrowing
and lambda-calculus, and semantics, e.g., normalization,
computation of values and head-normalization. The previous
editions of the workshop were: WRS 2001 (Utrecht, The
Netherlands),WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia,
Spain), WRS 2004 (Aachen, Germany), and WRS 2005 (Nara,
Japan). See also the WRS permanent page at
http://www.dsic.upv.es/~wrs/
Important Dates
Abstract Submission: May 8, 2006
Paper Submission: May 15, 2006
Author Notification: June 12, 2006
Camera-Ready: July 10, 2006
Conference: Aug 11, 2006
Program Committee
Sergio Antoy, (chair) Portland State University
Santiago Escobar, Universidad Politecnica de Valencia
Juergen Giesl, RWTH Aachen
Bernhard Gramlich, Technische Universitat Wien
Ralf Laemmel, Microsoft Corp.
Salvador Lucas, Universidad Politecnica de Valencia
Narciso Marti-Oliet, Universidad Complutense de Madrid
Mizuhito Ogawa, Japan Advanced Institute of Science and Technology
Jaco van de Pol, Centrum voor Wiskunde en Informatica
Manfred Schmidt-Schauss, Johann Wolfgang Goethe-Universitat
Topics
Topics of interest include, but are not restricted to:
* theoretical foundations for the definition and semantic
description of reduction strategies
* strategies in different frameworks such as term rewriting, graph
rewriting, infinitary rewriting, lambda calculi, higher order
rewriting, conditional rewriting, rewriting with built-ins,
narrowing, constraint solving, etc.
* application of strategies to equational, functional,
functional-logic programming languages
* properties of reduction strategies and corresponding computations,
e.g., completeness, computability, decidability, complexity,
optimality, normalization, cofinality, fairness, perpetuality,
context-freedom, need, laziness, eagerness, strictness
* interrelations, combinations and applications of reduction under
different strategies, e.g., evaluation mechanisms in programming
languages, equivalence conditions for fundamental properties like
termination and confluence, applications in modularity analysis,
connections between strategies of different frameworks,etc.
* program analysis and other semantics-based optimization
techniques dealing with reduction strategies
* rewrite systems, tools, implementations with flexible or
programmable strategies as an essential concept or ingredient
* specification of reduction strategies in real languages
strategies suitable to software engineering problems and
applications tutorials and systems related to evaluation
strategies
Submissions
Submissions must be original and not submitted for
publication elsewhere. The page limit for regular papers is
13 pages in Springer Verlag LNCS style. Surveys and
tutorials maybe longer. Use the WRS06 submission page,
handled by the EasyChair conference system, to submit
abstracts, papers and to update a previous submission.
Publication
Informal proceedings of accepted contributions will be
available on-line. A hard copy will be distributed at the
workshop to registered participants. Authors of
selected contributions will be invited to submit a revised
version, after the workshop, for inclusion in a
collection. We anticipate the publication of formal
proceedings in the Elsevier ENTCS series.
Invited Speakers
Talks will be given at joint sessions with RULE by:
* Dick Kieburtz, OHSU/OGI School of Science & Engineering
* Claude Kirchner, INRIA & LORIA
Contact
Sergio Antoy, antoy(a)cs.pdx.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/
-----------------------------------------------------------------------------
CALL FOR PAPERS
ICLP'2006 Workshop on
Multi-Valued Logic Programming and Applications
MVLPA'2006
Seattle, Washington, Aug. 21st, 2006
URL: http://www.utdallas.edu/~axm011500/mvlpa06.html
Multi-Valued logics provide powerful mechanisms for reasoning about
domains that are incomplete and inconsistent, such as databases, knowledge
representation, model checking,asynchronous electronic circuits, etc.
It is interesting to study the various semantics of multi-valued
logics in general and in particular,logic programming from the perspective of
multi-valued logics. The classical semantic formulations of logic programming,
such as the minimal Herbrand model semantics, the well-founded semantics, the
answer set semantics need to reinterpreted in the multi-valued scenario. Given
a solid semantic foundation for a multi-valued logic programming framework, it
can then be used as an elegant declarative specification language for the above
application domains.
Research in this area spans theoretical issues regarding the semantics
and the role of negation, to implementation strategies, to practical tools for
solving problems in various application domains.
The workshop is meant to provide a channel for interaction between
researchers working in these areas, by presenting their results and fostering
discussion. This will engender newdirections for researchers to pursue and
showcase the considerable amount of research thathas already been performed in
the area.
Authors are invited to submit original research, survey or tutorial
papers in the areas of Multiple-valued Logic and Multi-valued Logic Programming,
including, but not restricted to:
# Algebraic and formal aspects
# Implementation techniques for Multi-Valued Logic Programming
Languages
# Logic synthesis and Optimization
# Circuit/ Device Implementation
# Multi-Valued Model Checking
# Switching functions
# Machine Learning/ Data Mining
# Biocomputing
# Theorem Proving in Multi-Valued Logics
# Fault Detection and diagnosis
# Reliability
# Information retrieval
# Knowledge Representation/ Discovery
# Automated Reasoning
The MVLPA workshop will take place in Seattle, USA and will be
collocated with the
2006 Federated Logic Conference (FLOC '06),
http://research.microsoft.com/floc06/.
The duration of the workshop is one day (21st August, 2006).
Submission Information:
-----------------------
We invite submissions in Springer-Verlag LNCS style.
Submissions should be made at http://www.easychair.org/MVLPA2006/.
The publication of the proceedings is currently under negotation.
Please check the Web page regularly for updates. For any enquiries,
please email mailto:axm011500(a)utdallas.edu
Important Dates:
-----------------
Submission deadline: May 31, 2006
Notification to authors: June 10, 2006
Camera-ready copy due: June 30, 2006
==============================================================================
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/
-----------------------------------------------------------------------------
Due to various requests, we are extending the deadline for submission to
the Doctoral Consortium of the International Conference on Logic
Programming to April 7th. This will be a firm deadline.
Information about the Doctoral Consortium and submission procedures can
be found at:
http://www.cs.nmsu.edu/~epontell/DC2006/
Enrico Pontelli,
DC 2006 Chair
--
-------------------------------------------------------------------------
Knowledge representation, Logic | email: epontell(a)cs.nmsu.edu
and Advanced Programming (KLAP) | enrico(a)acm.org
Department of Computer Science | www: http://www.cs.nmsu.edu/~epontell
Box 30001, Dept. CS |
New Mexico State University | Ph: +1 (505) 646 6239
Las Cruces, NM 88003-0001 | Fax: +1 (505) 646 1002
USA |
-------------------------------------------------------------------------
==============================================================================
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/
-----------------------------------------------------------------------------