Perfilado de sección

  • Premier vpl (incrémenter un entier) :

    • Le premier exemple respecte un profil classique de programme ayant un résultat unique en fonction d'une entrée donnée. C'est le profil standard des vpl. Cet exemple utilise les cas de test standards de vpl (fichier vpl_evaluate.cases) avec une liste des entrées/sorties prévues. Aussi le premier exemple donné comporte un programme principal avec des entrées/sorties prédéfinies et demande seulement l'écriture du programme de l'exercice (ici l'incrémentation).

      Avec ProLog, si l'on veut utiliser les particularités du langage (réversibilité, non-déterminisme) ou se rapprocher d'une exécution directement avec l'interpréteur, un second modèle d'exercice est proposé :

    • Ce second exemple utilise également le modèle standard de cas de tests de VPL avec des entrées/sorties, mais ce qui est demandé à l'utilisateur est la requête ProLog à exécuter. Un programme principal, fournit dans l'exercice, lit cette requête et la retransmet à l'interpréteur ProLog (avec findall, à éviter si votre problème a une infinité de résultats), le résultat est ensuite affiché (après tri, pour permettre au moteur de validation de vpl de valider des réponses multiples dans un ordre quelconque).