« Programmation logique » : historique des versions

25 janvier 2024

• actudiff 23:1525 janvier 2024 à 23:15‎ Futuray discuter contributions‎ 10 035 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

26 novembre 2020

• actudiff 17:4626 novembre 2020 à 17:46‎ OrlodrimBot discuter contributions‎ m 10 023 octets −30‎ Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant annuler
• actudiff 06:5226 novembre 2020 à 06:52‎ AdaHephais discuter contributions‎ 10 053 octets +4‎ lien interne annuler Balise : Éditeur visuel
• actudiff 06:5226 novembre 2020 à 06:52‎ AdaHephais discuter contributions‎ 10 049 octets +4‎ lien interne sur page à créer annuler Balise : Éditeur visuel
• actudiff 06:4826 novembre 2020 à 06:48‎ AdaHephais discuter contributions‎ 10 045 octets +4‎ lien interne annuler Balise : Éditeur visuel
• actudiff 06:4826 novembre 2020 à 06:48‎ AdaHephais discuter contributions‎ 10 041 octets +81‎ mise en forme et amélioration annuler Balise : Éditeur visuel
• actudiff 06:4326 novembre 2020 à 06:43‎ AdaHephais discuter contributions‎ 9 960 octets +31‎ lien interne annuler Balise : Éditeur visuel

24 mars 2020

• actudiff 10:1224 mars 2020 à 10:12‎ 133.9.4.19 discuter‎ 9 929 octets +44‎ →‎Développements annuler Balise : Éditeur visuel
• actudiff 10:0924 mars 2020 à 10:09‎ 133.9.4.19 discuter‎ 9 885 octets +49‎ →‎L'avènement de Prolog annuler Balise : Éditeur visuel
• actudiff 10:0524 mars 2020 à 10:05‎ 133.9.4.19 discuter‎ 9 836 octets 0‎ →‎L'avènement de Prolog annuler Balise : Éditeur visuel

6 juin 2018

• actudiff 14:456 juin 2018 à 14:45‎ Epsilon0 discuter contributions‎ m 9 836 octets +49‎ →‎Vers la démonstration automatique : liens annuler

18 avril 2018

• actudiff 15:4718 avril 2018 à 15:47‎ Pautard discuter contributions‎ m 9 787 octets +2‎ fondé annuler

9 novembre 2017

• actudiff 12:239 novembre 2017 à 12:23‎ Dolfinsbizou discuter contributions‎ 9 785 octets +29‎ →‎Langages de programmation logique : PyPy ne semble pas permettre de faire de la programmation logique, c'est juste une implémentation alternative de Python annuler

2 novembre 2016

• actudiff 08:372 novembre 2016 à 08:37‎ Gzen92Bot discuter contributions‎ m 9 756 octets 0‎ modèles {{1er}}, {{1re}}, {{2e}}, {{3e}}… avec nom commun (espace insécable avec ordinaux) annuler

27 septembre 2016

• actudiff 06:3927 septembre 2016 à 06:39‎ Gzen92Bot discuter contributions‎ m 9 756 octets 0‎ WP:TYPO : {{1er}}, {{1re}}, {{2e}}, {{3e}}… + exception lien interne annuler

5 août 2016

• actudiff 11:075 août 2016 à 11:07‎ 131.254.100.226 discuter‎ 9 756 octets −1‎ →‎Descendance : fix broken link annuler

2 juin 2016

• actudiff 08:092 juin 2016 à 08:09‎ AméliorationsModestes discuter contributions‎ m 9 757 octets +2‎ →‎Approche informatique annuler

4 septembre 2015

• actudiff 19:404 septembre 2015 à 19:40‎ 2a02:8433:3580:3d00:5635:30ff:fea8:d0b6 discuter‎ 9 755 octets 0‎ →‎L'avènement de Prolog : le lien devrait pointer vers le système et non vers la météorologie annuler

25 juillet 2015

• actudiff 09:1125 juillet 2015 à 09:11‎ 90.42.18.199 discuter‎ 9 755 octets +22‎ →‎Descendance : Lien annuler Balises : Modification par mobile Modification par le web mobile
• actudiff 09:0425 juillet 2015 à 09:04‎ 90.42.18.199 discuter‎ 9 733 octets +7‎ →‎Descendance : liste incomplète annuler Balises : Modification par mobile Modification par application mobile

11 novembre 2014

• actudiff 00:3511 novembre 2014 à 00:35‎ Automatik discuter contributions‎ m 9 726 octets +4‎ →‎Introduction : +wikilien annuler

12 février 2014

• actudiff 21:5912 février 2014 à 21:59‎ OldLion discuter contributions‎ 9 722 octets +9 516‎ LiveRC : Révocation des modifications de 41.140.140.175 (retour à la dernière version de SniperMaské) ; Bac à sable annuler
• actudiff 21:5812 février 2014 à 21:58‎ 41.140.140.175 discuter‎ 206 octets −9 516‎ jtm bbbbb annuler Balises : Suppression de contenu Éditeur visuel

9 février 2014

• actudiff 19:559 février 2014 à 19:55‎ SniperMaské discuter contributions‎ m 9 722 octets 0‎ →‎L'avènement de Prolog : typographie annuler

5 mai 2013

• actudiff 17:195 mai 2013 à 17:19‎ Thierry Le Provost discuter contributions‎ m 9 722 octets +19‎ Precision (arbres rationnels) annuler

22 avril 2013

• actudiff 11:5422 avril 2013 à 11:54‎ Ethaniel discuter contributions‎ m 9 703 octets 0‎ →‎Vers la démonstration automatique : typographie annuler

12 mars 2013

• actudiff 17:4912 mars 2013 à 17:49‎ Addbot discuter contributions‎ m 9 703 octets −1 038‎ Retrait de 29 liens interlangues, désormais fournis par Wikidata sur la page d:q275603 annuler

31 octobre 2012

• actudiff 18:1831 octobre 2012 à 18:18‎ Pyschobbens discuter contributions‎ 10 741 octets +32‎ →‎Descendance annuler

19 octobre 2012

• actudiff 12:3719 octobre 2012 à 12:37‎ ZéroBot discuter contributions‎ m 10 709 octets +33‎ r2.7.1) (robot Ajoute : ko:논리형 프로그래밍 annuler

20 juillet 2012

• actudiff 09:5920 juillet 2012 à 09:59‎ 192.54.145.66 discuter‎ 10 676 octets +3‎ →‎L'Avènement de Prolog : diffusa -> se diffusa annuler

14 juillet 2012

• actudiff 13:0414 juillet 2012 à 13:04‎ GLec discuter contributions‎ 10 673 octets 0‎ →‎Voir aussi : Wikif. annuler

6 septembre 2011

• actudiff 12:216 septembre 2011 à 12:21‎ Luckas-bot discuter contributions‎ m 10 673 octets +25‎ r2.7.1) (robot Ajoute : sq:Programimi logjik annuler

20 juin 2011

• actudiff 10:4820 juin 2011 à 10:48‎ Luckas-bot discuter contributions‎ m 10 648 octets +30‎ r2.7.1) (robot Ajoute: hr:Logičko programiranje annuler

1 février 2011

• actudiff 19:431 février 2011 à 19:43‎ Escarbot discuter contributions‎ m 10 618 octets +48‎ robot Ajoute: rue:Лоґічне проґрамованя annuler

6 janvier 2011

• actudiff 14:166 janvier 2011 à 14:16‎ Xqbot discuter contributions‎ m 10 570 octets +27‎ r2.5.2) (robot Ajoute: tr:Mantık programlama annuler

24 décembre 2010

• actudiff 13:4024 décembre 2010 à 13:40‎ LucienBOT discuter contributions‎ m 10 543 octets +31‎ r2.6.4) (robot Ajoute: ar:برمجة منطقية annuler

22 octobre 2010

• actudiff 13:5622 octobre 2010 à 13:56‎ HR discuter contributions‎ 10 512 octets −54‎ LiveRC : Révocation des modifications de 62.23.198.210; retour à la version de Toto Azéro annuler
• actudiff 13:5622 octobre 2010 à 13:56‎ 62.23.198.210 discuter‎ 10 566 octets +54‎ Aucun résumé des modifications annuler
• actudiff 13:5322 octobre 2010 à 13:53‎ Toto Azéro discuter contributions‎ 10 512 octets −20‎ LiveRC : Révocation des modifications de 62.23.198.210; retour à la version de Salebot annuler
• actudiff 13:5222 octobre 2010 à 13:52‎ 62.23.198.210 discuter‎ 10 532 octets +20‎ Aucun résumé des modifications annuler
• actudiff 13:5022 octobre 2010 à 13:50‎ Salebot discuter contributions‎ 10 512 octets −33‎ bot : révocation de 62.23.198.210 (modification suspecte : -20), retour à la version 54787852 de SieBot annuler
• actudiff 13:5022 octobre 2010 à 13:50‎ 62.23.198.210 discuter‎ 10 545 octets +33‎ Aucun résumé des modifications annuler

30 juin 2010

• actudiff 14:5930 juin 2010 à 14:59‎ SieBot discuter contributions‎ m 10 512 octets +27‎ robot Ajoute: he:תכנות לוגי annuler

11 avril 2010

• actudiff 22:4011 avril 2010 à 22:40‎ Xqbot discuter contributions‎ m 10 485 octets +31‎ robot Ajoute: et:Loogiline programmeerimine; changement de type cosmétique annuler

12 août 2009

• actudiff 14:4212 août 2009 à 14:42‎ TcheBTchev discuter contributions‎ m 10 454 octets +2‎ →‎Langages de programmation logique : typo annuler
• actudiff 14:4112 août 2009 à 14:41‎ TcheBTchev discuter contributions‎ 10 452 octets +28‎ →‎Langages de programmation logique : CLIPS annuler

2 juillet 2009

• actudiff 11:322 juillet 2009 à 11:32‎ Rubinbot discuter contributions‎ m 10 424 octets +29‎ robot Ajoute: it:Programmazione logica annuler

3 juin 2009

• actudiff 14:093 juin 2009 à 14:09‎ Litlok discuter contributions‎ m 10 395 octets −1‎ Modification de la catégorie Catégorie:Paradigmes de programmation → Catégorie:Paradigme de programmation (avec HotCats) annuler

30 mai 2009

• actudiff 13:0930 mai 2009 à 13:09‎ Romainhk discuter contributions‎ 10 396 octets +38‎ {{Palette Paradigme de programmation}} annuler

11 février 2009

• actudiff 15:3411 février 2009 à 15:34‎ VolkovBot discuter contributions‎ m 10 358 octets +28‎ robot Ajoute: ms:Pengaturcaraan logik annuler