Voir la source de Exemple d'un programme PROLOG

Où l'on explique comment fonctionne PROLOG, et l'on découvre un problème familial.

== Développement ==
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_prolog.tex | Exemple d'un programme PROLOG]]
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_prolog.pdf | Exemple d'un programme PROLOG]]

== Recasements ==
* [[917 -- Logique du premier ordre : syntaxe et sémantique.]]
* [[918 -- Systèmes formels de preuve en logique du premier ordre : exemples.]]
* [[924 -- Théories et modèles en logique du premier ordre. Exemples.]]

== Références ==
* Jacques Stern, Fondements mathématiques de l'informatique.