Résumé de section

  • Logic programming languages are declarative: programs state “what” has to be done and the compiler cares for “how” it should be done.

    Content of this part of the course

    • The basics of Prolog: unification, recursion, backtracking, list processing, resolution, 
    • Introduction to Constraint logic programming: programming with equations
    • A small project - about logic programming for real applications.

    Programming will be done on Eclipse Prolog (http://eclipseclp.org). It is recommended that students install it on their private machines.
    Some exercises may be done on-line with Swi Prolog (https://swish.swi-prolog.org).

    Quizz at the beginning of lectures may be done on https://app.wooclap.com/events/OROZXB.