Constraint logic programming: Revision history

30 March 2007

• curprev 17:4417:44, 30 March 2007 Laoo~enwiki talk contribs m 37,160 bytes 0 typo undo

26 March 2007

• curprev 21:2521:25, 26 March 2007 CmdrObot talk contribs m 37,160 bytes −6 sp: typicall→typical; unicodify undo

9 December 2006

• curprev 06:2706:27, 9 December 2006 216.160.98.154 talk 37,166 bytes −5 →Applications undo
• curprev 06:2706:27, 9 December 2006 216.160.98.154 talk 37,171 bytes +4 →Applications undo

26 October 2006

• curprev 12:0312:03, 26 October 2006 Tizio talk contribs 37,167 bytes −11 →Constraint handling rules undo

24 October 2006

• curprev 10:2810:28, 24 October 2006 Tizio talk contribs m 37,178 bytes −15 Reverted edits by 222.252.248.82 (talk) to last version by B0kaj undo
• curprev 07:4707:47, 24 October 2006 222.252.248.82 talk 37,193 bytes +15 No edit summary undo

18 September 2006

• curprev 11:4911:49, 18 September 2006 B0kaj talk contribs m 37,178 bytes 0 →Overview: second->first clause, third->second clause undo

21 August 2006

• curprev 22:2722:27, 21 August 2006 Tonyfaull talk contribs m 37,178 bytes +1 →Program reformulations: spelling undo
• curprev 22:1422:14, 21 August 2006 Tonyfaull talk contribs m 37,177 bytes +1 →Bottom-up evaluation: spelling and wording undo

10 August 2006

• curprev 09:1209:12, 10 August 2006 Stefan-S talk contribs 37,176 bytes 0 →Reals: fixed end tag undo

27 June 2006

• curprev 12:5912:59, 27 June 2006 JustAGal talk contribs m 37,176 bytes +1 progam --->program undo

22 March 2006

• curprev 18:0418:04, 22 March 2006 Tizio talk contribs 37,175 bytes −5,958 →Concurrent constraint logic programming: splitted off section, replaced with lead of Concurrent constraint logic programming undo

20 March 2006

• curprev 18:2618:26, 20 March 2006 Tizio talk contribs 43,133 bytes +72 →The constraint store: forms of rewriting, as examples undo
• curprev 17:4017:40, 20 March 2006 Tizio talk contribs 43,061 bytes +255 Applications undo
• curprev 17:1117:11, 20 March 2006 Tizio talk contribs 42,806 bytes −93 →Semantics: shorthand, not part of the semantics undo
• curprev 17:0717:07, 20 March 2006 Tizio talk contribs 42,899 bytes +108 →Concurrent constraint logic programming: directionality undo
• curprev 17:0217:02, 20 March 2006 Tizio talk contribs 42,791 bytes +212 →Concurrent constraint logic programming: rm misleading "vice versa", clairified form var of head=val undo
• curprev 14:1814:18, 20 March 2006 Tizio talk contribs m 42,579 bytes −1 →References: journal survey undo
• curprev 14:1714:17, 20 March 2006 Tizio talk contribs 42,580 bytes +242 →References: journal survey undo
• curprev 13:5613:56, 20 March 2006 Tizio talk contribs 42,338 bytes +1,104 matching + existential variables in the guard undo

19 March 2006

• curprev 18:0718:07, 19 March 2006 Tizio talk contribs 41,234 bytes +35 →Semantics: simpler -> simpler to solve undo
• curprev 17:5117:51, 19 March 2006 Tizio talk contribs 41,199 bytes +171 clarified simplification of the constraint store undo
• curprev 13:5913:59, 19 March 2006 Tizio talk contribs 41,028 bytes +2,642 fresh variant + added details to concurrent version undo

18 March 2006

• curprev 14:3614:36, 18 March 2006 Tizio talk contribs 38,386 bytes +29 →See also: 2 new ones undo
• curprev 14:3214:32, 18 March 2006 Tizio talk contribs 38,357 bytes +552 →Concurrent constraint logic programming: synchronization and deadlocks undo
• curprev 14:2414:24, 18 March 2006 Tizio talk contribs 37,805 bytes +719 →Concurrent constraint logic programming: atomic tell undo
• curprev 14:1014:10, 18 March 2006 Tizio talk contribs 37,086 bytes +2,531 CHRv + Concurrent constraint logic programming undo
• curprev 13:1113:11, 18 March 2006 Tizio talk contribs 34,555 bytes +10 →Constraint handling rules: link + corrected symbol undo
• curprev 12:5412:54, 18 March 2006 Tizio talk contribs 34,545 bytes +419 →Constraint logic programming: were initially defined stand alone undo

17 March 2006

• curprev 13:4613:46, 17 March 2006 Tizio talk contribs 34,126 bytes +274 →The constraint store: result of evaluation undo
• curprev 00:2000:20, 17 March 2006 Tizio talk contribs 33,852 bytes +18 →Semantics: +some + ones the interpreter is trying to satisfy undo
• curprev 00:1700:17, 17 March 2006 Tizio talk contribs m 33,834 bytes +13 →Semantics: constraints in the current goal: slight rewriting undo
• curprev 00:0900:09, 17 March 2006 Tizio talk contribs 33,821 bytes +100 →Semantics: clarified that is overview + detail of each step undo
• curprev 00:0000:00, 17 March 2006 Tizio talk contribs 33,721 bytes +63 the goal may contain constraints undo

16 March 2006

• curprev 23:4723:47, 16 March 2006 Tizio talk contribs 33,658 bytes +496 →Semantics: result of evaluation undo
• curprev 23:3723:37, 16 March 2006 Tizio talk contribs 33,162 bytes +1,357 →Semantics: rewriting of the constraint store undo
• curprev 23:0423:04, 16 March 2006 Tizio talk contribs m 31,805 bytes +225 →Overview: minor changes undo
• curprev 11:5211:52, 16 March 2006 Tizio talk contribs m 31,580 bytes −4 →Semantics: rm brackets undo
• curprev 11:4611:46, 16 March 2006 Tizio talk contribs 31,584 bytes +2,131 →Semantics: rm sentence (concept already in next section) + formal semantics undo
• curprev 10:4410:44, 16 March 2006 Tizio talk contribs 29,453 bytes 0 →Overview: reversed sentence undo
• curprev 10:3410:34, 16 March 2006 Tizio talk contribs 29,453 bytes +144 →Labeling: partial satisfiability: clarified possibly misleading paragraph undo

15 March 2006

• curprev 12:4012:40, 15 March 2006 Tizio talk contribs 29,309 bytes +2,160 →Overview: an example + separate section for semantics undo
• curprev 12:1712:17, 15 March 2006 Tizio talk contribs m 27,149 bytes −26 →The constraint store: simplified sentence undo
• curprev 12:1412:14, 15 March 2006 Tizio talk contribs 27,175 bytes +47 link to constraint programming undo

14 March 2006

• curprev 17:2217:22, 14 March 2006 Tizio talk contribs 27,128 bytes +1,091 →Bottom-up evaluation: termination using entailment undo
• curprev 14:2114:21, 14 March 2006 Tizio talk contribs 26,037 bytes +102 →Constraint handling rules: slight rewriting of how to specify a satisfiability method undo
• curprev 13:4213:42, 14 March 2006 Tizio talk contribs 25,935 bytes +2,621 →Program reformulations: constraint handling rules undo

13 March 2006

• curprev 14:2714:27, 13 March 2006 Tizio talk contribs 23,314 bytes 0 trying again undo
• curprev 14:1914:19, 13 March 2006 Tizio talk contribs 23,314 bytes +19,612 re-added bottom up evaluation undo