Plus facile à lire avec un fond crème, une teinte, plus de contraste ou un texte plus grand ? Choisissez vos couleurs et votre texte, une fois pour toutes les pages.

Module gratuit

Programmation logique et fonctionnelle

Apprenez la programmation logique avec Prolog et la programmation fonctionnelle avec Haskell : faits, règles, listes, types, map, filter, fold.

6 leçonsLeçon de 345 minInformatique fondamentale

Les leçons

Chaque leçon se lit gratuitement en entier. Créez un compte gratuit pour lancer ses commandes dans un laboratoire et passer ses quiz et ses exercices.

  1. 1 · Labo de conteneurs

    Faits et questions en Prolog

    Je peux énoncer des faits et poser une question à Prolog.

    Lire la leçon

  2. 2 · Labo de conteneurs

    Règles et récursivité en Prolog

    Je peux écrire une règle qui utilise d’autres faits, y compris une règle récursive.

    Lire la leçon

  3. 3 · Labo de conteneurs

    Listes et retour arrière en Prolog

    Je peux expliquer comment Prolog cherche et revient en arrière.

    Lire la leçon

  4. 4 · Labo de conteneurs

    Fonctions et types en Haskell

    Je peux lire une petite fonction Haskell et son type.

    Lire la leçon

  5. 5 · Labo de conteneurs

    map, filter et fold en Haskell

    Je peux remplacer une boucle par map, filter ou fold.

    Lire la leçon

  6. 6 · Labo de conteneurs

    Récursivité et évaluation paresseuse

    Je peux écrire une fonction récursive et expliquer pourquoi une liste infinie reste utilisable.

    Lire la leçon

Travaillé dans un vrai laboratoire

Chaque leçon de ce module se travaille dans un laboratoire lancé pour vous seul. Les laboratoires utilisés :

Vous enseignez à une classe ? Proposez ce module à vos étudiants avec un guide de l'enseignant, des devoirs corrigés et un laboratoire pour chaque étudiant.