Prolog syntax and semantics: 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 23:3623:36, 11 June 2023 EmausBot talk contribs m 14,976 bytes −49 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q864062 undo Tag: Manual revert

curprev 20:4220:42, 7 June 2023 Zeinabrajabi talk contribs 15,025 bytes +49 No edit summary undo Tags: Reverted Visual edit

curprev 03:5903:59, 5 March 2023 Siddharthist talk contribs 14,976 bytes +127 Disambiguate with formal semantics undo Tag: 2017 wikitext editor

curprev 17:1817:18, 27 December 2022 Tea2min talk contribs 14,849 bytes −67 Undid revision 1129854314 by 156.200.107.13 (talk) undo Tag: Undo
curprev 12:0012:00, 27 December 2022 156.200.107.13 talk 14,916 bytes +67 No edit summary undo Tag: Reverted

curprev 17:3517:35, 20 April 2022 Holauqetal talk contribs 14,849 bytes +14 Grammar error: syntax and semantics are 2 different sets. undo Tags: Mobile edit Mobile web edit

curprev 09:3109:31, 7 March 2022 Tea2min talk contribs 14,835 bytes 0 →top: Not just any programs, programs in Prolog specifically. undo
curprev 01:3301:33, 7 March 2022 Thrakkx talk contribs 14,835 bytes +58 Short desc undo Tag: 2017 wikitext editor
curprev 01:3201:32, 7 March 2022 Thrakkx talk contribs 14,777 bytes +66 WP:BOLDITIS undo Tag: 2017 wikitext editor

curprev 12:2412:24, 8 January 2022 EigenaardigKnaapje talk contribs 14,711 bytes −34 Changed code block to idiomatic Prolog: 1) clause with false as antecedent removed, 2) clause with true as antecedent transformed into fact. undo Tag: Visual edit

curprev 22:5522:55, 5 December 2021 74.85.87.90 talk 14,745 bytes −12 →Evaluation undo Tag: Visual edit

curprev 11:5011:50, 25 July 2020 WOSlinker talk contribs m 14,757 bytes +324 change source to syntaxhighlight undo

curprev 14:4914:49, 17 July 2020 Finlay McWalter talk contribs 14,433 bytes 0 →Anonymous Variables: MOS:HEAD undo

curprev 12:1512:15, 9 April 2020 2605:e000:1417:42e0:a04f:9ba:eb37:7776 talk 14,433 bytes −1 fixed the typo/grammatical error. Before: "searching a lists for a given value" changed to -> : "searching a list for a given value". The example following the statement showed the reader how to search a list for a given value. undo

curprev 19:0119:01, 29 October 2018 2001:18e8:2:28b8:d43b:4513:aaf5:b770 talk 14,434 bytes +1 →Semantics undo Tags: Mobile edit Mobile web edit

curprev 04:1504:15, 4 April 2018 Jarble talk contribs m 14,433 bytes +25 →Data types: linking undo

curprev 11:0911:09, 17 March 2018 Edward talk contribs m 14,408 bytes +4 link tail call using Find link undo

curprev 05:1705:17, 21 June 2017 The Transhumanist talk contribs 14,404 bytes +41 add cat undo

curprev 19:4019:40, 4 April 2017 Palec90 talk contribs m 14,363 bytes +43 →Definite clause grammars: Iterative deepening wikilinked undo

curprev 07:4407:44, 21 February 2017 Jarble talk contribs 14,320 bytes +28 adding a link undo

curprev 23:4623:46, 28 October 2016 Mikhail Ryazanov talk contribs m 14,292 bytes +2 No edit summary undo

curprev 04:1404:14, 17 August 2016 GreyAlien502 talk contribs m 14,290 bytes +1 fixing grammar: conjugation undo

curprev 17:4917:49, 26 February 2016 Dgpop talk contribs 14,289 bytes −47 →References: category undo

curprev 17:2317:23, 29 December 2014 Olexa Riznyk talk contribs m 14,336 bytes +64 inline code style undo

curprev 14:4014:40, 26 December 2014 84.28.15.173 talk 14,272 bytes +56 No edit summary undo

curprev 20:1220:12, 25 November 2014 DadaNeem talk contribs 14,216 bytes +8 →top: 2 wikilinks undo

curprev 17:3917:39, 18 November 2014 223.176.182.35 talk 14,208 bytes −28 →Prolog programs undo
curprev 17:3817:38, 18 November 2014 223.176.182.35 talk 14,236 bytes −6 →Prolog programs undo
curprev 17:3717:37, 18 November 2014 223.176.182.35 talk 14,242 bytes +44 →Prolog programs undo
curprev 17:3617:36, 18 November 2014 223.176.182.35 talk 14,198 bytes +86 →Prolog programs undo

curprev 07:5707:57, 11 August 2014 129.247.247.240 talk 14,112 bytes −290 No edit summary undo

curprev 11:2611:26, 6 August 2014 129.247.247.240 talk 14,001 bytes +461 →Semantics undo

curprev 08:3608:36, 16 April 2014 Olexa Riznyk talk contribs m 13,540 bytes +161 <source lang="prolog"> undo

curprev 15:3915:39, 19 November 2013 Qwertyus talk contribs 13,379 bytes +58 →Data types: dynamic typing undo

curprev 00:2400:24, 17 September 2013 Cedar101 talk contribs m 13,321 bytes +245 <source lang="prolog"> undo

curprev 17:5017:50, 20 March 2013 Addbot talk contribs m 13,076 bytes −66 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q864062 undo

curprev 10:4610:46, 12 December 2012 ZéroBot talk contribs m 13,142 bytes +66 r2.7.1) (Robot: Adding uk:Синтаксис та семантика Прологу undo

curprev 10:1710:17, 11 December 2012 Olexa Riznyk talk contribs m 13,076 bytes +36 →Negation: Added Soundness and Ground expression hyperlinks undo

curprev 12:3112:31, 26 June 2010 Grafen talk contribs m 13,040 bytes +24 WikiCleaner 0.99 - Repairing link to disambiguation page - You can help! undo

curprev 01:1501:15, 8 December 2009 Gregbard talk contribs 13,016 bytes +4 →Evaluation: logical consequence using Project:AWB undo

11 June 2023

7 June 2023

5 March 2023

27 December 2022

20 April 2022

7 March 2022

8 January 2022

5 December 2021

25 July 2020

17 July 2020

9 April 2020

29 October 2018

4 April 2018

17 March 2018

21 June 2017

4 April 2017

21 February 2017

28 October 2016

17 August 2016

26 February 2016

29 December 2014

26 December 2014

25 November 2014

18 November 2014

11 August 2014

8 August 2014

6 August 2014

16 April 2014

19 November 2013

17 September 2013

20 March 2013

12 December 2012

11 December 2012

9 December 2011

26 June 2010

8 December 2009