Change History

Jan Burse, June 15th, 2011, 0.1:
Initial version.
Jan Burse, June 5th, 2012, 0.2:
Forward chaining examples, syntax and theory section completed.
Jan Burse, July 14th, 2012, 0.3:
Finite domain examples, syntax and theory section completed.
Jan Burse, October 15th, 2012, 0.4:
Some fixes and little solver example introduced.
Jan Burse, November 19th, 2012, 0.5:
Index section, conversation section, tracing revisited and Bonner's examples introduced.
Jan Burse, February 26th, 2013, 0.6:
Stability analysis removed.
Jan Burse, May 23th, 2013, 0.7:
Clauses with variable sharing introduced.
Jan Burse, June 6th, 2013, 0.8:
Disjunction in forward chaining and last string ops introduced.
Jan Burse, August 3rd, 2013, 0.9:
Forward chaining advising and attribute variables introduced.
Jan Burse, October 2nd, 2013, 0.10:
Subject to occurs check example introduced.
Jan Burse, April 18th, 2014, 0.11:
Finite domain solver is not preloaded anymore.
Jan Burse, June 13th, 2014, 0.12:
Forward closure and chart parsing is not preloaded anymore.
Jan Burse, August 19th, 2014, 0.13:
Small restructuring of CLP(FD) and back and forth operators.
Jan Burse, February 11th, 2015, 0.14:
The CLP(FD) examples adapted to new top-level constraint display.
Jan Burse, May 28th, 2015, 0.15:
Title page introduced and message lists removed.
Jan Burse, August 10th, 2015, 0.16:
Small extension of CLP(FD) to single infinite search.
Jan Burse, January 4th, 2016, 0.18:
Small extension of CLP(FD) to use objects.
Jan Burse, February 25th, 2016, 0.19:
New continuation queue API and when/2 predicate introduced.
Jan Burse, March 7th, 2016, 0.20:
Better extensibility of the forward chaining and hook integration.
Jan Burse, April 13th, 2016, 0.21:
New miscellaneous definitions section and new indexes section.
Jan Burse, May 16th, 2016, 0.22:
New modules regex, rdf and sparql introduced.
Jan Burse, June 23th, 2016, 0.23:
Delay and undefined error in CLP(FD) bridging.
Jan Burse, November 14th, 2016, 0.24:
Documentation of {}/1 and CLP(FD) test cases updated.
Jan Burse, December 13th, 2016, 0.25:
Primitive array support in CLP(FD).
Jan Burse, March 11th, 2017, 0.26:
Some improvements of attribute variables and trailing.
Jan Burse, May 7th, 2017, 0.27:
Some addition to elementary arithmetic.
Jan Burse, September 17th, 2017, 0.28:
Type 1 and Type 2 attributed variables API.
Jan Burse, October 13th, 2017, 0.29:
New trailed named variables module.
Jan Burse, July 05th, 2018, 0.30:
Zimmerman Algorithm for integer square root.
Jan Burse, October 19th, 2018, 0.31:
New module "chr" and module "asp".
Jan Burse, December 24th, 2018, 0.32:
Randomized labelling for CLP(FD) and CLP(B) introduced.
Jan Burse, March 06th, 2019, 0.33:
Module "aggregate" removed.
Jan Burse, June 14th, 2019, 0.34:
New number theoretic functions introduced.
Jan Burse, July 10th, 2019, 0.35:
Randomized choice for ASP introduced.

Comments