New Edition of a CHR Book
The book “Constraint Handling Rules – Compilation, Execution, and Analysis” has a new edition, because the old one is out of print. By popular request, the book format has been enlarged. See Google Books.
The more you CHR, the better you are.
The book “Constraint Handling Rules – Compilation, Execution, and Analysis” has a new edition, because the old one is out of print. By popular request, the book format has been enlarged. See Google Books.
A preliminary version of the survey on Parallelism, Concurrency and Distribution in Constraint Handling Rules is online:
Comments are welcome!As a PC-member I encourage submissions to
34th International Conference on Logic Programming (ICLP 2018)
Oxford, UK, July 14-17, 2018
http://www.logicprogramming.org/iclp2018
As a PC-member I strongly welcome submissions dealing with Constraint Handling Rules at these fine conferences:
19th International Symposium on Principles and Practice of Declarative Programming (PPDP),
Namur, Belgium, 9 Oct. – 11 Oct. 2017.
http://complogic.cs.mcgill.ca/ppdp2017/
International Joint Conference on Rules and Reasoning (RuleML+RR 2017),
London, UK from 12-15th July 2017.
http://2017.ruleml-rr.org/
21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning,
Maun, Botswana, at Cresta Riley’s Hotel, 7-12th May 2017.
http://easychair.org/smart-program/LPAR-21/
33rd International Conference on Logic Programming (ICLP 2017),
Melbourne, Australia, August 29 to September 1, 2017.
http://iclp17.a4lp.org/
Yesterday Jan Wielemaker published version 7.3.28 of SWI-Prolog. It comes with a new flag toplevel_mode
which might be especially useful to test and debug CHR programs. It was highlighted in the version announcements as follows:
After suggestion by Falco Nogatz, it is now possible to run the toplevel inSome insights on the discussion, implementation and usage of the new flag can be found in the related GitHub issue. It can be used to have a persistent constraint store over multiple queries in the toplevel. This way it is possible to, e.g., use the classicalrecursive
mode such that global variables remain bound. Nice for teaching CHR. Not clear what the other use cases are. Use?- set_prolog_flag(toplevel_mode, recursive).
to enable this.
gcd/1
constraint solver incrementally for computing the greatest common divisor of numbers given on by one:
?- set_prolog_flag(toplevel_mode, recursive). true. ?- gcd(24). gcd(24). ?- gcd(42). gcd(6). ?- X = 3. X = 3, gcd(6).As seen in the last query, the contents of the constraint store are printed by default on every query. So, for more advanced usage, it might become handy to use the recursive toplevel mode with CHR’s flag
chr_toplevel_show_store
set to false
and explicitly call the meta-predicate chr_show_store/1
.
As a PC-member I encourage submissions to
19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) Paris, France, 16th and 17th January 2017 http://bit.ly/PADL-2017
PADL 2017 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2017 will be co-located with the Symposium on Principles of Programming Languages (POPL 2017), in Paris, France.
“Analyse&Predict”, a first version of Data Analysis Tool to explore csv spreadsheets written in SWI Prolog and CHR is available online now at:
Feedback is very welcome – it will stay online for about two weeks only.As a PC members I invite submission of papers related to CHR to
The 2nd Global Conference on Artificial Intelligence Berlin Germany, 29th September – 2nd October 2016 http://easychair.org/smart-program/GCAI2016/
The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the Freie Universitaet Berlin. The program chairs are Christoph Benzmueller, Raul Rojas, and Geoff Sutcliffe. The call for papers can be found at the conference’s website.The following CHR-related papers were accepted at RuleML 2016: