yap profiler

------------------------------------------------------------------------------
Keep Your Developer Skills Current with LearnDevNow!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-d2d

_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

CFP: PPDP 2012 in Leuven, Belgium

=====================================================================

                          Call for papers
           14th International ACM SIGPLAN Symposium on
        Principles and Practice of Declarative Programming
                            PPDP 2012

 	Special Issue of Science of Computer Programming (SCP)

             Leuven, Belgium, September 18-20, 2012
                  (co-located with LOPSTR 2012)

======================================================================

PPDP 2012 is a forum that brings together researchers from the declarative 
programming communities, including those working in the logic, constraint and 
functional programming paradigms, but also embracing a variety of other 
paradigms such as visual programming, executable specification languages, 
database languages, and knowledge representation languages. The goal is to 
stimulate research in the use of logical formalisms and methods for specifying, 
performing, and analysing computations, including mechanisms for mobility, 
modularity, concurrency, object-orientation, security, verification and static 
analysis. Papers related to the use of declarative paradigms and tools in 
industry and education are especially solicited. Topics of interest include, 
but are not limited to:

*	Functional programming
*	Logic programming
*	Answer-set programming
*	Functional-logic programming
*	Declarative visual languages
*	Constraint Handling Rules
*	Parallel implementation and concurrency
*	Monads, type classes and dependent type systems
*	Declarative domain-specific languages
*	Termination, resource analysis and the verification of declarative programs
*	Transformation and partial evaluation of declarative languages
*	Language extensions for security and tabulation
*	Probabilistic modelling in a declarative language and modelling reactivity
*	Memory management and the implementation of declarative systems
*	Practical experiences and industrial application

This year the conference will be co-located with the 22nd International 
Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and 
held in cooperation with ACM SIGPLAN.  The conference will be held in Leuven, 
Belgium. Previous symposia were held at Odense (Denmark), Hagenberg (Austria), 
Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa 
(Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence 
(Italy), Montreal (Canada), and Paris (France).

Papers must describe original work, be written and presented in English, and 
must not substantially overlap with papers that have been published or that are 
simultaneously submitted to a journal, conference, or workshop with refereed 
proceedings. Work that already appeared in unpublished or informally published 
workshop proceedings may be submitted (please contact the PC chair in case of 
questions). Proceedings will be published by ACM Press*

After the symposium, a selection of the best papers will be invited to extend 
their submissions in the light of the feedback solicited at the symposium.  The 
papers are expected to include at least 25% extra material over and above the 
PPDP version. Then, after another round of reviewing, these revised papers will 
be published in a special issue of SCP with a target publication date by 
Elsevier of 2013.

Important Dates

 	Abstract Submission: 		May 28, 2012
 	Paper submission: 		May 31, 2012
 	Notification: 			July 6, 2012
 	Camera-ready: 			July 18, 2012

 	Symposium: 			September 19-21, 2012

 	Invites for SCP: 		September 26, 2012
 	Submission of SCP: 		December 12, 2012
 	Notification from SCP: 		February 7, 2013
 	Camera-ready for SCP: 		March 7, 2013

Authors should submit an electronic copy of the paper (written in English) in 
PDF. Each submission must include on its first page the paper title; authors 
and their affiliations; abstract; and three to four keywords. The keywords will 
be used to assist us in selecting appropriate reviewers for the paper. Papers 
should consist of no more than 12 pages, formatted following the ACM SIG 
proceedings template (option 1). The 12 page limit must include references but 
excludes well-marked appendices not intended for publication. Referees are not 
required to read the appendices, and thus papers should be intelligible without 
them.

Program Committee:

Slim Abdennadher 	German University in Cairo, Egypt
Puri Arenas		Complutense University of Madrid, Spain
Marcello Balduccini	Kodak Research Labs, USA
Amir Ben-Amram		Tel-Aviv Academic College, Israel
Philip Cox		Dalhousie University, Canada
Marina De Vos		University of Bath, UK
Martin Erwig		Oregon State University, USA
Martin Gebser		University of Potsdam, Germany
Jacob Howe		City University London, UK
Joxan Jaffar 		National University of Singapore, Singapore
Gabriele Keller 	University of New South Wales, Australia
Andy King		University of Kent, UK
Julia Lawall 		INRIA Paris, France
Rita Loogen 		Philipps-Universitat Marburg, Germany
Greg Michaelson		Heriot-Watt University, UK
Matthew Might		University of Utah, USA
Henrik Nilsson		University of Nottingham, UK
Catuscia Palamidessi	INRIA Saclay and Ecole Polytechnique, France
Kostis Sagonas 		Uppsala University, Sweden and NTUA, Greece
Taisuke Sato		Tokyo Institute of Technology, Japan
Peter Schneider-Kamp	University of Southern Denmark, Denmark
Tom Schrijvers		University of Ghent, Belgium
Terrance Swift		Universidade Nova de Lisboa, USA
Mirek Truszczynski	University of Kentucky, USA
Stephanie Weirich 	University of Pennsylvania, USA

Program Chair:

     Andy King
     School of Computing, University of Kent
     Canterbury, CT2 7NF, UK

General Co-Chairs

     Daniel De Schreye and Gerda Janssens
     Department of Computer Science
     K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium

* Confirmation pending

------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2

CFP: LOPSTR 212 in Leuven, Belgium

============================================================

                       Call for papers
                22nd International Symposium on
        Logic-Based Program Synthesis and Transformation
                          LOPSTR 2012

               http://costa.ls.fi.upm.es/lopstr12
             Leuven, Belgium, September 18-20, 2012
                  (co-located with PPDP 2012)

============================================================

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.

The 22nd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous
symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice,
London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester,
Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and
Odense (you might have a look at the contents of past LOPSTR
symposia). LOPSTR 2012 will be co-located with PPDP 2012
(International ACM SIGPLAN Symposium on Principles and Practice of
Declarative Programming).

Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:

     * specification
     * verification
     * analysis
     * specialization
     * composition
     * certification
     * transformational techniques in SE
     * synthesis
     * transformation
     * optimisation
     * inversion
     * program/model manipulation
     * security
     * applications and tools

Survey papers, that present some aspect of the above topics from a new
perspective, and application papers, that describe experience with
industrial applications, are also welcome.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Proceedings

The formal post-conference proceedings will be published by Springer*
in the Lecture Notes in Computer Science series.

Important Dates

       Abstract submission:                  May 21,2012
       Paper submission:                     May 25, 2012
       Notification (for pre-proceedings):   June 29, 2012
       Camera-ready (for pre-proceedings):   July 8, 2012
       Symposium:                            September 18-20, 2012

Submissions must be formatted in the Lecture Notes in Computer Science
style. They cannot exceed 15 pages including references but excluding
well-marked appendices not intended for publication. Referees are not
required to read the appendices, and thus papers should be
intelligible without them.

Full papers can be directly accepted for publication in the formal
proceedings to be published by Springer in the LNCS series or accepted
only for presentation at the symposium. After the symposium, all
authors of extended abstracts and full papers accepted only for
presentation will be invited to revise and/or extend their submissions
in the light of the feedback solicited at the symposium. Then, after
another round of reviewing, these revised papers may also be published
in the formal proceedings.

Authors should submit an electronic copy of the paper (written in
English) in PDF or Postscript (Level 2). Each submission must include
on its first page the paper title; authors and their affiliations;
contact author's email; abstract; and three to four keywords. The
keywords will be used to assist us in selecting appropriate reviewers
for the paper. If electronic submission is impossible, please contact
the program chair for information on how to submit hard copies.

Papers should be submitted to the submission website for LOPSTR 2012.

Program Committee:

Elvira Albert           Complutense University of Madrid, Spain
Sergio Antoy            Portland State University, US
Demis Ballis            University of Udine, Italy
Henning Christiansen    Roskilde University, Denmark
Michael Codish          Ben-Gurion University of the Negev, Israel
Danny De Schreye        K.U.Leuven, Belgium
Esra Erdem              Sabanci University, Istanbul
Maribel Fernandez       King's College London, UK
John Gallagher          Roskilde University, Denmark
Miguel Gomez-Zamalloa   Complutense University of Madrid, Spain
Robert Glück           University of Copenhagen, Denmark
Rémy Haemmerlé	       Technical University of Madrid, Spain
Reiner Hähnle          TU Darmstadt, Germany
Geoff Hamilton          Dublin City University, Ireland
Carsten Fuhs            RWTH Aachen, Germany
Gerda Janssens          K.U.Leuven, Belgium
Isabella Mastroeni      University of Verona, Italy
Paulo Moura             Universidade da Beira Interior, Portugal
Kazutaka Matsuda        Tohoku University, Japan
Johan Nordlander        Luleå University of Technology, Sweden
Andrey Rybalchenko      Technische Universität München, Germany
Kostis Sagonas  Uppsala University, Sweden
Francesca Scozzari      Università "G. D'Annunzio" di Chieti, Italy
Valerio Senni           Universtà di Roma "Tor Vergata", Italy
German Vidal            Technical University of Valencia, Spain

Program Chair:

     Elvira Albert
     Department of Computer Science (DSIC)
     Complutense University of Madrid
     Madrid, Spain

General Co-Chairs

     Daniel De Schreye and Gerda Janssens
     Department of Computer Science
     K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium

* Confirmation pending

------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2

_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Possible bug in problog_neg?

Hello list(s),

I'm building a ProbLog - based Probabilistic Event Recognition system
and I've come across a weird error related to problog_neg in both yap
6.2.1 and yap 6.2.2. Specifically, I've run the following code (which
I am also attaching):

:-use_module(library(problog)).

0.6::cached(moving = true).
0.3::happensAt(walking, 99).

initiatedAt(moving = true, T):-
	happensAt(walking, T).

initiatedAt(moving = false, T):-
	happensAt(disappear, T).

% changing initiatedAt to a fully grounded fact doesn't do much, either:
%0.4::initiatedAt(moving = true, 99).

holdsAt(moving = true, 100):-
	cached(moving = true),
	problog_neg(broken(moving = true, 99)),
	write('First rule fully fired'), nl.

holdsAt(moving = true, 100):-
	initiatedAt(moving = true, 99),
	write('About to run problog_neg in second rule'), nl,
	problog_neg(broken(moving = true, 99)),
	write('Second rule fully fired'), nl.

:-dynamic broken/2.

broken(F = V1, T):-
	write('broken entered'), nl,
	initiatedAt(F = V2, T),
	V1 \= V2.

:-problog_table broken/2.

Simply put, the code detects behaviours through the "holdsAt"
predicate. A behaviour "holds" if it is "cached" and wasn't "broken"
(initiated to "false", also referred to as "terminated") at the
previous timepoint (99) or it could have been "initiated" at the
previous timepoint (99) while not being simultaneously "broken" (this
constraint is applied for consistency).

I am getting the following output:

?- problog_exact(holdsAt(moving = true, 100), P, S).
broken entered
First rule fully fired
About to run problog_neg in second rule
P = 0.6,
S = ok

i.e the execution path never enters the second problog_neg predicate,
which seems strange, given that it enters during execution of the
first "holdsAt" rule.

Am I doing something wrong here? If yes, what might that be?

Thank you,

Jason

-- 
Jason Filippou
Research Associate
NCSR Demokritos
http://users.iit.demokritos.gr/~jfilip/
http://cgi.di.uoa.gr/~std06142/

------------------------------------------------------------------------------
Learn Windows Azure Live!  Tuesday, Dec 13, 2011
Microsoft is holding a special Learn Windows Azure training event for 
developers. It will provide a great way to learn Windows Azure and what it 
provides. You can attend the event by watching it streamed LIVE online.  
Learn more at http://p.sf.net/sfu/ms-windowsazure

_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Compiling YAP to make it portable

Hello,

I am trying to compile and distribute a program using YAP. I realize 
that YAP does not create standalone executable like SICStus.
I can't ask the end user to compile and install YAP. They want a one 
click solution to run the software. If there a way I can bundle and 
distribute my compiled program and yap all as one package?

Thanks.
-Raj

------------------------------------------------------------------------------
Learn Windows Azure Live!  Tuesday, Dec 13, 2011
Microsoft is holding a special Learn Windows Azure training event for 
developers. It will provide a great way to learn Windows Azure and what it 
provides. You can attend the event by watching it streamed LIVE online.  
Learn more at http://p.sf.net/sfu/ms-windowsazure

Compiling YAP 6.3 under Mac OS Lion

Hi.

I need to switch from 6.2 to 6.3. Unfortunately, that doesn't seem to compile on my Mac OS X Lion machine.

"make" fails at the following instruction:

================================================
...
gcc -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -g -O2
-DCUT_C=1  -DMYDDAS_ODBC -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DTABLING=1
-DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I./H -I./include  -I./os -I./OPTYap -I./BEAM
-I./MYDDAS  -o yap yap.o libYap.a -lresolv -lstdc++ -lm  -lreadline -lncurses -lodbc -framework
CoreFoundation 
Undefined symbols for architecture x86_64:
  "_rl_begin_undo_group", referenced from:
      _prolog_complete in libYap.a(pl-rl.o)
  "_rl_delete", referenced from:
      _prolog_complete in libYap.a(pl-rl.o)
  "_rl_end_undo_group", referenced from:
      _prolog_complete in libYap.a(pl-rl.o)
ld: symbol(s) not found for architecture x86_64
collect2: ld returned 1 exit status
make: *** [yap] Error 1
bernd <at> Belchen:~/bin/local/yap-6.3> 
================================================

My configure options are:
================================================
bernd <at> Belchen:~/bin/local/yap-6.3> ./configure --prefix=`pwd` --exec-prefix=`pwd`
--enable-tabling=yes
--with-cudd="/Users/bernd/Documents/problog/source_code/simplecudd/cudd-2.4.1" 
================================================

And I'm apparently using the standard compiler of the xcode tools
================================================
bernd <at> Belchen:~/bin/local/yap-6.3> gcc -v
Using built-in specs.
Target: i686-apple-darwin11
Configured with: /private/var/tmp/llvmgcc42/llvmgcc42-2336.1~22/src/configure
--disable-checking --enable-werror --prefix=/Developer/usr/llvm-gcc-4.2 --mandir=/share/man
--enable-languages=c,objc,c++,obj-c++ --program-prefix=llvm-
--program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib
--build=i686-apple-darwin11
--enable-llvm=/private/var/tmp/llvmgcc42/llvmgcc42-2336.1~22/dst-llvmCore/Developer/usr/local
--program-prefix=i686-apple-darwin11- --host=x86_64-apple-darwin11
--target=i686-apple-darwin11 --with-gxx-include-dir=/usr/include/c++/4.2.1
Thread model: posix
gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.1.00)
bernd <at> Belchen:~/bin/local/yap-6.3> 
================================================

Does anybody know what the issue is and how to fix it?

Kind Regards
Bernd

-------------------------------------------------------------------------------
Bernd Gutmann <Bernd.Gutmann@...>
Dept. of Computer Science
Katholieke Universiteit Leuven
Phone: +32 16 32 7576
Skype: kopoltra
http://www.cs.kuleuven.be/~bernd
-------------------------------------------------------------------------------

------------------------------------------------------------------------------
Cloud Services Checklist: Pricing and Packaging Optimization
This white paper is intended to serve as a reference, checklist and point of 
discussion for anyone considering optimizing the pricing and packaging model 
of a cloud services business. Read Now!
http://www.accelacomm.com/jaw/sfnl/114/51491232/

FLOPS 2012: Final Call for Papers & Deadline Extension

                        Final Call For Papers
                        =====================

  _EXTENDED SUBMISSION DEADLINE : December 16, 2011_

  *Eleventh International Symposium on Functional and Logic
Programming (FLOPS 2012)*
  May 23-25, 2012
  Kobe, Japan
  [http://www.org.kobe-u.ac.jp/flops2012/]

  FLOPS is a forum for research on all issues concerning declarative
  programming, including functional programming and logic programming,
  and aims to promote cross-fertilization and integration between the
  two paradigms. Previous FLOPS meetings were held in Fuji Susono
  (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
  (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008),
  and Sendai (2010).

Topics
======
  FLOPS 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, real-world applications, graphical user
    interfaces, Internet applications, XML, databases, formal methods and model
    checking.

  The proceedings will be published as an LNCS volume. The proceedings
  of the previous meeting (FLOPS 2010) were published as LNCS 6009.

PC co-Chairs
============
  - Tom Schrijvers (Ghent University, Belgium)
  - Peter Thiemann (University of Freiburg, Germany)

PC Members
==========
 - Salvador Abreu (University of Evora, Portugal)
 - Thorsten Altenkirch (University of Nottingham, UK)
 - Sebastian Brand (NICTA, Australia)
 - Giuseppe Castagna (CNRS Univ Paris 7, France)
 - Sebastian Fischer (Germany)
 - Marco Gavanelli (University of Ferrara, Italy)
 - Joxan Jaffar (National University of Singapore, Singapore)
 - Barry Jay (University of Sydney, Australia)
 - Andy King (University of Kent, UK)
 - Claude Kirchner (INRIA, France)
 - Neelakantan R. Krishnaswami (Microsoft Cambridge, UK)
 - Yulya Lierler (University of Kentucky, USA)
 - Keiko Nakata (Tallinn University of Technology, Estonia)
 - Peter Schneider-Kamp (University of Southern Denmark, Denmark)
 - Olin Shivers (Northeastern University, USA)
 - Paul Tarau (University of Northern Texas, USA)
 - Kazunori Ueda (Waseda University, Japan)
 - Meng Wang (Chalmers Technical University, Sweden)

General Chair and Local co-Chairs
=================================
  - Naoyuki Tamura (Kobe University, Japan)
  - Mutsunori Banbara (Kobe University, Japan)
  - Katsutoshi Hirayama (Kobe University, Japan)

Submission
==========
  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.
  Submissions must be written in English and can be up to 15 pages
  long, though pearls are typically considerably shorter. Authors are
  required 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). Papers should be submitted electronically
  at [https://www.easychair.org/conferences/?conf=flops2012].

Important Dates
===============
  - Submission deadline : December 16, 2011	(EXTENDED)
  - Author notification : February 3, 2012
  - Camera-ready copy : March 2, 2012

Place and Related Events
========================
  Takikawa Memorial Hall, Kobe University,
  1-1 Rokkodai, Nada, Kobe 657-8501 Japan.

  The 23rd International Conference on Rewriting Techniques and
  Applications (RTA 2012) and satellite workshops including WFLP 2012
  will be held in the week after FLOPS at Nagoya, Japan.

Some Previous FLOPS
===================
  - FLOPS 2010, Sendai: [http://www.kb.ecei.tohoku.ac.jp/flops2010/]
  - FLOPS 2008, Ise: [http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/]
  - FLOPS 2006, Fuji Susono: [http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/]

Sponsors
========
  - Japan Society for Software Science and Technology (JSSST) SIGPPL

In Cooperation with
===================
  - ACM SIGPLAN
  - Asian Association for Foundation of Software (AAFS)
  - Association for Logic Programming (ALP)

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

building yap-6.2 on Mac OSX Lion

Hi Vitor,

In an attempt to run the latest stable yap-6.2 on Mac OSX Lion
we were able to compile and link but it crashes while is makes
startup.yss

MORLX082:yap-6 axcxw$ make
rm -f startup.yss
echo "bootstrap('./pl/init.yap'). module(user). save_program('startup.yss')." | 
DYLD_LIBRARY_PATH=/Users/axcxw/yap-6 ./yap -b ./pl/boot.yap
%
%
% YAP OOOPS: likely bug in YAP, segmentation violation.
%
%

   Exiting ....
make: *** [startup.yss] Error 1

The binary is there and the help is fine:

MORLX082:yap-6 axcxw$ yap -?

[ Valid switches for command line arguments: ]
  -?   Shows this screen
  -b   Boot file
  -dump-runtime-variables
  -f   initialization file or "none"
  -g   Run Goal Before Top-Level
  -z   Run Goal Before Top-Level
  -q   start with informational messages off
  -l   load Prolog file
  -L   run Prolog file and exit
  -p   extra path for file-search-path
  -hSize   Heap area in Kbytes (default: 8000, minimum: 8000)
  -sSize   Stack area in Kbytes (default: 2400, minimum: 2400)
  -tSize   Trail area in Kbytes (default: 384, minimum: 384)
  -GSize  Max Area for Global Stack
  -LSize   Max Area for Local Stack (number must follow L)
  -TSize   Max Area for Trail (number must follow L)

[Execution Modes]
  -J0  Interpreted mode (default)
  -J1  Mixed mode only for user predicates
  -J2  Mixed mode for all predicates
  -J3  Compile all user predicates
  -J4  Compile all predicates

We were using the XCode tools for Mac OSX Lion

$ gcc -v
Using built-in specs.
Target: i686-apple-darwin11
Configured with: /private/var/tmp/llvmgcc42/llvmgcc42-2336.1~22/src/configure
--disable-checking --enable-werror --prefix=/Developer/usr/llvm-gcc-4.2 --mandir=/share/man
--enable-languages=c,objc,c++,obj-c++ --program-prefix=llvm-
--program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib
--build=i686-apple-darwin11
--enable-llvm=/private/var/tmp/llvmgcc42/llvmgcc42-2336.1~22/dst-llvmCore/Developer/usr/local
--program-prefix=i686-apple-darwin11- --host=x86_64-apple-darwin11
--target=i686-apple-darwin11 --with-gxx-include-dir=/usr/include/c++/4.2.1
Thread model: posix
gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.1.00)

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
http://www.agfa.com/w3c/jdroo
http://twitter.com/josderoo

Agfa HealthCare NV, Moutstraat 100, B-9000 Gent, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

FLOPS 2012: 2nd call for papers

                        Second Call For Papers
                        =====================

  *Eleventh International Symposium on Functional and Logic
Programming (FLOPS 2012)*
  May 23-25, 2012
  Kobe, Japan
  [http://www.org.kobe-u.ac.jp/flops2012/]
  _Submission deadline : December 9, 2011_

  FLOPS is a forum for research on all issues concerning declarative
  programming, including functional programming and logic programming,
  and aims to promote cross-fertilization and integration between the
  two paradigms. Previous FLOPS meetings were held in Fuji Susono
  (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
  (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008),
  and Sendai (2010).

Topics
======
  FLOPS 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, real-world applications, graphical user
    interfaces, Internet applications, XML, databases, formal methods and model
    checking.

  The proceedings will be published as an LNCS volume. The proceedings
  of the previous meeting (FLOPS 2010) were published as LNCS 6009.

PC co-Chairs
============
  - Tom Schrijvers (Ghent University, Belgium)
  - Peter Thiemann (University of Freiburg, Germany)

PC Members
==========
  - Salvador Abreu (University of Evora, Portugal)
  - Thorsten Altenkirch (University of Nottingham, UK)
  - Sebastian Brand (NICTA, Australia)
  - Giuseppe Castagna (CNRS Univ Paris 7, France)
  - Sebastian Fischer (Germany)
  - Marco Gavanelli (University of Ferrara, Italy)
  - Joxan Jaffar (National University of Singapore, Singapore)
  - Barry Jay (University of Sydney, Australia)
  - Andy King (University of Kent, UK)
  - Claude Kirchner (INRIA, France)
  - Neelakantan R. Krishnaswami (Microsoft Cambridge, UK)
  - Yulya Lierler (University of Kentucky, USA)
  - Keiko Nakata (Tallinn University of Technology, Estonia)
  - Peter Schneider-Kamp (University of Southern Denmark, Denmark)
  - Olin Shivers (Northeastern University, USA)
  - Paul Tarau (University of Northern Texas, USA)
  - Kazunori Ueda (Waseda University, Japan)
  - Meng Wang (Chalmers Technical University, Sweden)

General Chair and Local co-Chairs
=================================
  - Naoyuki Tamura (Kobe University, Japan)
  - Mutsunori Banbara (Kobe University, Japan)
  - Katsutoshi Hirayama (Kobe University, Japan)

Submission
==========
  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.
  Submissions must be written in English and can be up to 15 pages
  long, though pearls are typically considerably shorter. Authors are
  required 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). Papers should be submitted electronically
  at [https://www.easychair.org/conferences/?conf=flops2012].

Important Dates
===============
  - Submission deadline : December 9, 2011
  - Author notification : February 3, 2012
  - Camera-ready copy : March 2, 2012

Place and Related Events
========================
  Takikawa Memorial Hall, Kobe University,
  1-1 Rokkodai, Nada, Kobe 657-8501 Japan.

  The 23rd International Conference on Rewriting Techniques and
  Applications (RTA 2012) and satellite workshops including WFLP 2012
  will be held in the week after FLOPS at Nagoya, Japan.

Some Previous FLOPS
===================
  - FLOPS 2010, Sendai: [http://www.kb.ecei.tohoku.ac.jp/flops2010/]
  - FLOPS 2008, Ise: [http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/]
  - FLOPS 2006, Fuji Susono: [http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/]

Sponsors
========
  - Japan Society for Software Science and Technology (JSSST) SIGPPL

In Cooperation with
===================
  - ACM SIGPLAN
  - Asian Association for Foundation of Software (AAFS)
  - Association for Logic Programming (ALP)

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

Re: [Cracs] working with yap and logtalk under windows Xp?

------------------------------------------------------------------------------
RSA(R) Conference 2012
Save $700 by Nov 18
Register now
http://p.sf.net/sfu/rsa-sfdev2dev1

_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Special Offer eBooks and Books Constraint Handling Rules

Special Offer: Selected recent eBooks and Books on Constraint Handling 
Rules for less than 20 UK Pound / 25 Euros.

Constraint Handling Rules (CHR) is both an efficient programming 
language and a logical formalism based on concurrent rules and 
constraints available as an add-on to Prolog, Java, and Haskell.

Now available as eBook on Amazon Kindle, iTunes, epub:

Constraint Handling Rules: Compilation, Execution, and Analysis
Thom Fruehwirth, Frank Raiser (editors), ISBN 978-3-83-911591-6.

An overview of the state of the art of CHR research based on a
reviewed selection from recent doctoral theses.

http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/chr-thesis-book.html

If you are new to CHR, consider the monograph (pdf eBook or Book):

Constraint Handling Rules,
Thom Frühwirth, Textbook, Cambridge University Press, ISBN 9780521877763

http://constraint-handling-rules.org/

Stay connected by joining the CHR mailing list at the CHR website
http://dtai.cs.kuleuven.be/CHR

Best Greetings,
Thom

------------------------------------------------------------------------------
Get your Android app more play: Bring it to the BlackBerry PlayBook 
in minutes. BlackBerry App World™ now supports Android™ Apps 
for the BlackBerry® PlayBook™. Discover just how easy and simple 
it is! http://p.sf.net/sfu/android-dev2dev