Constraint logic programming: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 13:0413:04, 2 April 2025 Cedar101 talk contribs m 39,607 bytes +21 →Bottom-up evaluation: {{code}} undo
curprev 13:0213:02, 2 April 2025 Cedar101 talk contribs m 39,586 bytes +87 →Bottom-up evaluation: syntaxhighlight undo Tag: nowiki added

curprev 08:0008:00, 30 May 2024 Hayazin talk contribs 39,499 bytes −12 →The constraint store: The formulation was extremely confusing in the middle of one of the most critical parts of the article. Notify me if this isn't equivalent. Also tidied up style and presentation. undo

curprev 22:4622:46, 1 February 2024 Mathnerd314159 talk contribs 39,511 bytes +8 change paradigms template to navbox (see Template talk:Programming paradigms#too long) undo

curprev 16:4416:44, 14 October 2023 2a02:1812:110c:dc00:170:2ad8:3eba:77a2 talk 39,503 bytes +127 No edit summary undo

curprev 16:2316:23, 9 November 2022 DavidGries talk contribs 39,376 bytes +31 →References: added author-link for "Krzysztof R. Apt" undo

curprev 01:1101:11, 30 August 2022 Veritas Aeterna talk contribs m 39,345 bytes +31 Added Constraint Handling Rules (CHR), since they certainly provide constraint logic programming when used with SWI-Prolog, for example. undo

curprev 08:1808:18, 17 June 2022 Cedar101 talk contribs m 39,314 bytes +14 →Labeling: {{sxhl}} undo

curprev 21:2021:20, 6 February 2022 Qwerfjkl (bot) talk contribs m 39,300 bytes 0 Capitalising short description "logic programming with constraint satisfaction" per WP:SDFORMAT (via Bandersnatch) undo

curprev 17:5817:58, 12 September 2021 Jarble talk contribs 39,300 bytes +69 adding short description undo

curprev 12:3812:38, 28 October 2020 Frap talk contribs 39,231 bytes −9 No edit summary undo
curprev 03:2403:24, 28 October 2020 Jarble talk contribs 39,240 bytes +218 →Applications: adding a reference undo

curprev 14:3714:37, 14 September 2020 AnomieBOT talk contribs m 39,022 bytes +20 Dating maintenance tags: {{Citation needed}} undo
curprev 14:1614:16, 14 September 2020 Jarble talk contribs 39,002 bytes +284 →Applications: adding a reference undo Tag: Visual edit: Switched

curprev 16:4916:49, 29 July 2020 DovicKnoble talk contribs 38,718 bytes +3 Tidied up the language in the last paragraph of the overview, correcting some grammar mistakes and making the meaning clearer. undo

curprev 00:2300:23, 5 June 2020 BHGbot talk contribs m 38,715 bytes −2 WP:BHGbot 6 (List 3): eponymous category first, per MOS:CATORDER; WP:GENFIXES undo Tag: AWB

curprev 17:3617:36, 11 May 2020 DannyS712 bot talk contribs m 38,717 bytes +36 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 15:2915:29, 28 April 2020 2601:184:4700:db4:38b9:6c16:ccc9:ade5 talk 38,681 bytes +1 spelling undo

curprev 04:5304:53, 18 December 2019 InternetArchiveBot talk contribs 38,680 bytes +85 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 22:4922:49, 11 November 2019 Jarble talk contribs m 38,595 bytes +4 linking undo

curprev 18:1518:15, 12 October 2019 OAbot talk contribs m 38,591 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 03:1503:15, 8 September 2019 Citation bot talk contribs m 38,573 bytes 0 Alter: journal. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb undo

curprev 18:2918:29, 7 September 2019 InternetArchiveBot talk contribs 38,573 bytes +28 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 02:4602:46, 15 August 2019 Jimj wpg talk contribs m 38,545 bytes +27 v2.01 - WP:WCW project (Reference list missing) undo Tag: WPCleaner

curprev 17:1617:16, 14 August 2019 AnomieBOT talk contribs m 38,518 bytes +17 Dating maintenance tags: {{Citation needed}} undo
curprev 16:5516:55, 14 August 2019 Jarble talk contribs 38,501 bytes +221 →History: adding a reference undo
curprev 16:5116:51, 14 August 2019 Jarble talk contribs 38,280 bytes +19 →History: This article doesn't cite Jaffar and Lassez. undo

curprev 17:1417:14, 2 October 2018 Vellino talk contribs 38,261 bytes +44 →See also undo

curprev 23:2423:24, 21 June 2018 Allforrous talk contribs 38,217 bytes +2 new key for Category:Constraint logic programming: " " using HotCat undo

curprev 14:1614:16, 23 March 2018 Chris the speller talk contribs m 38,215 bytes 0 →Overview: per WP:HYPHEN, sub-subsection 3, points 3,4,6, replaced: fully- → fully using AWB undo

curprev 15:5515:55, 29 December 2017 Janburse talk contribs 38,215 bytes −54 →See also undo
curprev 15:5515:55, 29 December 2017 Janburse talk contribs 38,269 bytes +54 →See also undo

curprev 01:5601:56, 3 June 2017 Magic links bot talk contribs m 38,215 bytes +16 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 07:1407:14, 14 March 2017 Cedar101 talk contribs m 38,199 bytes +69 <source lang="prolog"> undo

curprev 06:3006:30, 17 December 2016 Lotje talk contribs 38,130 bytes +1 See also section above References section undo

curprev 10:1810:18, 4 November 2016 195.26.51.153 talk 38,129 bytes 0 No edit summary undo
curprev 10:1510:15, 4 November 2016 195.26.51.153 talk 38,129 bytes 0 No edit summary undo

curprev 19:1619:16, 8 August 2016 Jarble talk contribs 38,129 bytes +42 added Category:Constraint logic programming using HotCat undo

curprev 23:4023:40, 9 April 2016 129.12.102.23 talk 38,087 bytes −1 →Terms and constraints undo

curprev 19:2319:23, 27 August 2015 Iridescent talk contribs m 38,088 bytes +1 →The constraint store: Typo fixing, typo(s) fixed: For example → For example, using AWB undo

curprev 20:2320:23, 25 June 2015 Rlendog talk contribs 38,087 bytes −11 rm link to deleted article undo

curprev 09:3109:31, 15 May 2015 193.32.30.58 talk 38,098 bytes +157 →Overview: Clarification for people who don't know regular logic programming. undo

curprev 09:2409:24, 26 March 2015 193.147.107.1 talk 37,941 bytes +38 →See also undo

curprev 14:1014:10, 26 February 2015 108.41.114.228 talk 37,903 bytes +11 →See also undo

curprev 23:2023:20, 22 February 2015 Art LaPella talk contribs m 37,892 bytes +1 →References: spelling, to verify see http://www.amazon.com/Programming-Constraints-Introduction-Kimbal-Marriott/dp/0262133415 undo
curprev 23:1923:19, 22 February 2015 Art LaPella talk contribs m 37,891 bytes −1 →Program reformulations: "s" undo

curprev 16:1616:16, 26 May 2014 *thing goes talk contribs 37,892 bytes 0 →Tree terms undo

curprev 01:3301:33, 7 May 2014 Monkbot talk contribs m 37,892 bytes −9 →References: Task 3: Fix CS1 deprecated coauthor parameter errors undo

curprev 20:0320:03, 7 August 2013 Ruud Koot talk contribs m 37,901 bytes −1 Reverted edits by Dkwebsub (talk) to last version by Addbot undo

curprev 17:3317:33, 6 August 2013 Dkwebsub talk contribs 37,902 bytes +1 →Overview undo

2 April 2025

30 May 2024

1 February 2024

14 October 2023

9 November 2022

30 August 2022

17 June 2022

6 February 2022

12 September 2021

28 October 2020

14 September 2020

29 July 2020

5 June 2020

11 May 2020

28 April 2020

18 December 2019

11 November 2019

12 October 2019

8 September 2019

7 September 2019

15 August 2019

14 August 2019

2 October 2018

21 June 2018

23 March 2018

29 December 2017

3 June 2017

14 March 2017

17 December 2016

4 November 2016

8 August 2016

9 April 2016

27 August 2015

25 June 2015

15 May 2015

26 March 2015

26 February 2015

22 February 2015

26 May 2014

7 May 2014

7 August 2013

6 August 2013