Thanks for sending this John. It is great to see other companies work
with Prolog in commercial settings. As you know we have been a strong
advocate for using Prolog in conjunction with a semantic database. We
have had varying degrees of success in promoting Prolog given that
SPARQL is the standards and is definitely improving. We often use an
indirect approach with starting people out with SPARQL and then show
them how their lives could be much easier if they used Prolog. What most
people don't get that SPARQL is NOT a programming and or rule language
but do treat it like such. My commercial people cringe when I talk about
our Prolog with AllegroGraph but somehow I'm still keeping the faith
that Prolog will become an important part of the SW. (01)
Jans Aasman (02)
On 2/22/2013 5:17 AM, John F Sowa wrote:
> Adrian Walker sent me the URL of a presentation about using Prolog
> and Constraint Handling Rules to support large-scale applications:
>
> http://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf
>
> Coincidentally, I received the CFP below about a workshop on CHR.
>
> As this presentation shows, Prolog + CHR is a highly scalable platform
> that can support major applications. The Semantic Web ignored this
> technology because it is not decidable. But that is also true of
> every major programming language and computational system.
>
> The Experian credit bureau is a very large corporation, which uses
> Prolog to check everybody's credit worthiness. They use it so heavily
> that they bought Prologia, the company founded by Alain Colmerauer,
> who implemented the first version of Prolog.
>
> But Experian is also a secretive company that doesn't tell anybody
> what they do or how they do it. Nevertheless, their size shows that
> Prolog and related logic-programming methods scale to "Big Data".
>
> The CHR notation compiles into Prolog. For more info and freely
> downloadable software, see
>
> http://www.swi-prolog.org/man/chr.html
>
> John Sowa
>
> -------- Original Message --------
> Subject: CFP: 10th CHR Workshop in Berlin, July 2013 / Constraint
> Handling Rules
> Date: Fri, 22 Feb 2013 12:11:43 +0000
> From: Henning Christiansen <henning@xxxxxx>
>
> =========================================================================
>
> Call for Papers
> Tenth International Workshop on Constraint Handling Rules
> CHR 2013
>
> http://dtai.cs.kuleuven.be/CHR/CHR2013/
> Berlin (Germany), July 11-12th, 2013
> (co-located with the 3rd Intl Summer School on CHR)
>
> =========================================================================
>
> The CHR 2013 Workshop will be held on July 11th and 12th, 2013 in Berlin
> (Germany) at the occasion of the 3rd International Summer School on CHR.
> More information on the venue and the co-located summer school can be
> found on the summer school website (http://met.guc.edu.eg/CHR2013/).
>
> The Constraint Handling Rules (CHR) language has become a major declara-
> tive specification formalism and implementation language for constraint
> reasoning algorithms and applications. Algorithms specified using infe-
> rence rules, rewrite rules, sequents, proof rules, or logical axioms can
> often be directly written in CHR. Its clean semantics facilitates pro-
> gram design, analysis, and transformation. For more information, please
> visit the CHR website (http://dtai.cs.kuleuven.be/CHR/).
>
> The aim of the CHR workshop series is to stimulate and promote interna-
> tional research and collaboration on topics related to the CHR language.
> The workshop is a lively, friendly forum for presenting and discussing
> new results, interesting applications, and work in progress.
> Previous Workshops on Constraint Handling Rules were organized in 2004
> in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice
> (Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen-
> berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in
> 2010 in Edinburgh (Scotland, UK) at ICLP, in 2011 in Cairo (Egypt), at
> the 2nd CHR summer school, and in 2012 in Budapest (Hungary) at ICLP.
>
> Topics of Interest
>
> The workshop calls for full papers and short papers describing ongoing
> work on any aspect of CHR and related approaches. The following topics
> are relevant (this list is non-exhaustive):
>
> - (Logical) Algorithms
> - Applications
> - Constraint Solvers
> - Critical Assessment
> - Expressiveness and Complexity
> - Implementations and Optimization
> - Language Extensions (Types, Modules,...)
> - Mutual inspiration from related areas such as
> Answer Set Programming, (Term) Rewriting Systems, ...
> - Program Analysis
> - Program Transformation and Generation
> - Programming Environments (Debugging)
> - Programming Pearls
> - Programming Tools
> - Retractable Constraints
> - Semantics
> - System Descriptions
>
> Important dates
>
> - Paper submission deadline: May 8th, 2013
> - Notification of acceptance: June 8th, 2013
> - Final version due: June 23rd, 2013
> - Workshop date: July 11th and 12th, 2013
>
> Submission Information
>
> The two categories for submissions are:
>
> - full papers for describing technically sound, innovative ideas that
> can advance the state of the art of CHR;
>
> - short papers, for ongoing work not yet ready for full publication
> and research project overviews.
>
> All papers must describe original, previously unpublished research, and
> must not simultaneously be submitted for publication elsewhere.
> They must be written in English. Technical papers must not exceed 15
> pages. The limit for short papers is 8 pages, as is the standard page
> limit for application papers, and system and tool papers. However,
> particularly strong contributions in the latter two areas may be
> submitted as technical paper as well.
>
> All papers must be in the Springer LNCS format. General information
> about the Springer LNCS series and the LNCS authors' instructions are
> available at the Springer LNCS home page
> (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).
>
> Submissions must be made via the EasyChair submission system, available
> at http://www.easychair.org/conferences/?conf=chr2013
>
> Programme Committee
>
> - Slim Abdennadher, German University of Cairo, Egypt
> - María Alpuente, UPV, Spain
> - Henning Christiansen, Roskilde University, Denmark (co-chair)
> - Marina De Vos, University of Bath, UK
> - François Fages, INRIA Rocquencourt, France
> - Thom Frühwirth, University of Ulm, Germany
> - Maurizio Gabbrielli, University of Bologna, Italy
> - Marco Gavanelli, University of Ferrara, Italy
> - Rémy Haemmerlé, Technical University of Madrid, Spain
> - Michael Maher, University of New South Wales, Canberra, Australia
> - Thierry Martinez, INRIA Paris-Rocquencourt, France
> - Maria Chiara Meo, Gabriele d'Annunzio University, Italy
> - Eric Monfroy, UTFSM and LINA, Chile/France
> - Tom Schrijvers, Ghent University, Belgium
> - Jon Sneyers, KU Leuven, Belgium (co-chair)
> - Armin Wolf, Fraunhofer FIRST, Germany
>
> Workshop Coordinators
>
> Contact: chr2013@xxxxxxxxxxxxx
>
> Henning Christiansen
> Department of Communication, Business and Information Technologies,
> Roskilde University, Denmark
> http://www.ruc.dk/~henning/
>
> Jon Sneyers
> Department of Computer Science, KU Leuven, Belgium
> http://people.cs.kuleuven.be/~jon.sneyers/
>
> Steering committee:
>
> Thom Frühwirth
> Programmiermethodik und Compilerbau, Ulm University, Germany
> http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
>
> Slim Abdennadher
> Department of Computer Science & Engineering, German University in Cairo
> http://met.guc.edu.eg/staff/slim_abdennadher.aspx
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> (03)
-- (04)
-------------------
Jans Aasman
CEO Franz Inc
Office : 510 452 2000 x 119
Cell : +1 925 878 1444
Skype: jansaasman (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (06)
|