En traduisant en programmation par ensembles réponses deux devinettes classiques, nous illustrons la puissance et certaines limites des systèmes actuels. Il s'agit de les traduire d'une façon pas trop ad-hoc, tirant profit de l'aspect déclaratif de ce type de programmation. On n'est pas loin de cet objectif affiché, mais il reste des progrès à faire pour les systèmes existant. Nous suggérons quelques pistes: l'intégration de réelles listes, une meilleure intégration entre instantiateur et solveur, permettant au moins de détecter les cas où le premier suffit, une déclaration de prédicats satisfaisant une loi d'inertie, une déclaration de prédicats "intermédiaires''.