v2.6.4 (3793)

Cours scientifique - CSE307 : Constraint Logic Programming

Domaine > Informatique.

Descriptif

Prerequisite:CSE203
The course will present the paradigm of
Constraint Logic Programming from
its logical foundations for programming
with relations, to its current applications.
From logic programming and the early
days of artificial intelligence, towards
the holy grail of programming simply by
modelling, the students will learn how to
use a recent dialect of Prolog for relational
databases, knowledge representation,
automated deduction and combinatorial
problem solving. The balance between
declarative programming and efficiency,
between clean semantics and expressiveness
will be of particular interest, and will
lead us into looking at how things work
internally in a Prolog bytecode compiler
(Warren Abstract Machine, indexing…)
on practical examples.

Format des notes

Numérique sur 20

Littérale/grade américain

Pour les étudiants du diplôme Bachelor of Science de l'Ecole polytechnique

Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)
    L'UE est acquise si note finale transposée >= D
    • Crédits ECTS acquis : 3 ECTS

    La note obtenue rentre dans le calcul de votre GPA.

    Pour les étudiants du diplôme Echanges PEI

    Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)
      L'UE est acquise si note finale transposée >= D
      • Crédits ECTS acquis : 2 ECTS

      La note obtenue rentre dans le calcul de votre GPA.

      Veuillez patienter