Résolution élégante d'une énigme de Layton avec Prolog
L'auteur a réécrit le chapitre sur les langages de programmation logique de son livre "Logique pour programmeurs", mettant en valeur la puissance de Prolog avec une énigme de type 'Layton'. L'énigme consiste à déduire le score du quatrième élève en fonction des scores des trois premiers. Utilisant un code Prolog concis (seulement 15 lignes !), l'auteur résout élégamment le problème, en tirant parti de la correspondance de motifs et de la bidirectionnalité de Prolog pour trouver toutes les clés de réponse possibles, déterminant finalement le score du quatrième élève à 6. Une comparaison est faite avec une solution plus longue et moins efficace. Bien que l'auteur plaide contre l'utilisation d'énigmes pour l'enseignement, cet exemple démontre le potentiel d'application pratique de Prolog.