https://minerve.ens-rennes.fr/index.php?action=history&feed=atom&title=Exemple_d%27un_programme_PROLOG 2026-05-07T01:10:22Z Historique pour cette page sur le wiki MediaWiki 1.24.0 https://minerve.ens-rennes.fr/index.php?title=Exemple_d%27un_programme_PROLOG&diff=2711&oldid=prev 2015-02-26T20:24:22Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Version précédente</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Version du 26 février 2015 à 20:24</td> </tr><tr><td colspan="2" class="diff-lineno">Ligne 12 :</td> <td colspan="2" class="diff-lineno">Ligne 12 :</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Références ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Références ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Jacques Stern, Fondements mathématiques de l'informatique.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Jacques Stern, Fondements mathématiques de l'informatique.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 917]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 918]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 924]]</ins></div></td></tr> </table>

Mathias Millet https://minerve.ens-rennes.fr/index.php?title=Exemple_d%27un_programme_PROLOG&diff=676&oldid=prev 2012-06-18T07:45:09Z

<p>Page créée avec « Où l&#039;on explique comment fonctionne PROLOG, et l&#039;on découvre un problème familial. == Développement == *<a href="/index.php/Fichier:Tex.png" title="Fichier:Tex.png">24px</a> [[Média:dvt_prolog.tex | … »</p> <p><b>Nouvelle page</b></p><div>Où l'on explique comment fonctionne PROLOG, et l'on découvre un problème familial.<br /> <br /> == Développement ==<br /> *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_prolog.tex | Exemple d'un programme PROLOG]]<br /> *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_prolog.pdf | Exemple d'un programme PROLOG]]<br /> <br /> == Recasements ==<br /> * [[917 -- Logique du premier ordre : syntaxe et sémantique.]]<br /> * [[918 -- Systèmes formels de preuve en logique du premier ordre : exemples.]]<br /> * [[924 -- Théories et modèles en logique du premier ordre. Exemples.]]<br /> <br /> == Références ==<br /> * Jacques Stern, Fondements mathématiques de l'informatique.</div>

Kevin