Exemple d'un programme PROLOG

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

Développement

• Exemple d'un programme PROLOG
• 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.