Mini-test — Logique et raisonnement : récursion et listes Prolog

Le témoin x peut dépendre de l’universel y extérieur. Une fonction fraîche f(y) conserve cette possibilité. La transformation conserve la satisfiabilité dans un vocabulaire étendu, pas une équivalence ordinaire du vocabulaire initial.

Variantes : Choisir une seule réponse selon les hypothèses.

Les trois arguments doivent s’unifier ensemble. La même variable X ne peut recevoir une valeur à une position puis une autre ailleurs; sa liaison affecte aussi le contenu de p(X).

• X=2 et Y=3.
• Z=p(2), car la liaison de X se propage dans le terme.

Variantes : Formulations et décisions équivalentes acceptables si justifiées par les critères; comparer soi-même au corrigé, sans note automatique sur le texte.

is évalue immédiatement sa droite; A n’a alors pas de valeur numérique. Le but suivant ne peut réparer rétroactivement l’évaluation. A=2, B is 2+A donnerait B=4.

Variantes : Choisir une seule réponse selon les hypothèses.

1+1 est un terme différent de l’entier 2, mais leur valeur arithmétique est la même. Deux variables libres distinctes s’unifient, sans être déjà identiques avant cette liaison. Les requêtes sont indépendantes.

Variantes : Sélectionner exactement les bonnes propositions; aucun crédit partiel.

La recherche procède en profondeur et les clauses gardent leurs alternatives. Les variables locales sont fraîches à chaque appel; L n’est pas une variable globale qui conserverait le même nœud partout.

• Premier parcours : 1→2→3→4→5, suivant l’ordre des faits.
• La base recherche(5,5) réussit.
• Le retour arrière peut reprendre lien(2,4) et donner 1→2→4→5.
• Le prédicat prouve l’accessibilité sans renvoyer la liste du trajet.

Variantes : Formulations et décisions équivalentes acceptables si justifiées par les critères; comparer soi-même au corrigé, sans note automatique sur le texte.

Le PDF actuel et ses faits sont cohérents dans ce sens. L’ancienne requête ancetre(sebastien,A), avec les mêmes faits et la même orientation de règle, ne produit pas ces personnes. Les contrats de tous les prédicats doivent s’accorder.

• Pierre puis Nathalie par le cas direct.
• Marie puis Robert par la règle parent(A,Y), ancetre(Y,X).
• Conserver le contrat ancêtre d’abord; ne pas importer la convention inverse de l’ancienne vidéo.

Variantes : Formulations et décisions équivalentes acceptables si justifiées par les critères; comparer soi-même au corrigé, sans note automatique sur le texte.

La liste externe contient deux éléments, chacun étant une sous-liste. Longueur ignore le contenu de la tête et compte une unité par cellule externe; elle ne compte pas trois atomes au niveau imbriqué.

Variantes : Virgule ou point décimal; saisir le nombre seul. Tolérance absolue : 0.

Concat conserve l’ordre L1 puis L2. La même relation peut reconstruire une partie manquante; elle ne réalise pas une concaténation impérative à sens unique.

• K=[a,b,c].
• La clause récursive retire la tête d commune et laisse concat([],K,[a,b,c]).
• La base concat([],L2,L2) lie K au suffixe restant.

Variantes : Formulations et décisions équivalentes acceptables si justifiées par les critères; comparer soi-même au corrigé, sans note automatique sur le texte.

-> s’engage sur le premier succès de la condition. L’échec ultérieur de la branche Alors ne fait pas basculer vers Sinon. Sans Sinon, une condition en échec fait échouer le conditionnel.

Variantes : Choisir une seule réponse selon les hypothèses.

Y est partagé et exige une même couleur. Julie possède bien les deux types de véhicules, mais leurs couleurs diffèrent. Deux variables de couleur distinctes exprimeraient le besoin sans cette contrainte.

Variantes : Choisir une seule réponse selon les hypothèses.

Il ne faut pas comparer uniquement des positions de même indice. Le résultat est une liste; l’absence d’élément commun donnerait [], et non le nombre 0.

• Garder a puis 12, rejeter f, garder 5.
• R=[a,12,5], dans l’ordre de la première liste.
• Tester chaque tête contre toute la deuxième liste, qui reste inchangée; base vide produit [].

Variantes : Formulations et décisions équivalentes acceptables si justifiées par les critères; comparer soi-même au corrigé, sans note automatique sur le texte.

Le contrat des entiers masque cette différence de représentation. Généraliser aux nombres demande un test arithmétique approprié, sans prétendre que le corrigé imprimé emploie déjà ce test.

• 0.0 et l’entier 0 ne sont pas le même terme pour l’unification.
• 0.0 n’est ni strictement positif ni strictement négatif; aucune branche ne couvre ce cas dans cette version.
• N =:= 0 compare les valeurs numériques; distinguer cette variante de la ligne du corrigé.

Variantes : Formulations et décisions équivalentes acceptables si justifiées par les critères; comparer soi-même au corrigé, sans note automatique sur le texte.