IP5562 - Logic programming

IP5562 - Logic programming


General objective:

Understand the semantic and master the syntax of Prolog to comprehend the declarative programming paradigm.

Detailed objectives:

Master the syntactic (atoms, variables, terms, lists, data structures and goals) and logic (litterals,
formulae, rules, clauses, predicates, disjunction, queries) constructs of logic programming. Understand
the operational semantic of a query resolution (success and failure, unification, resolution, backtracking,
recursivity, negation by failure, cuts). Master Prolog as an expert system, data base and constraint
programming system.


  • Cours Magistraux : 10h
  • Travaux Dirigés : 8h

Form of assessment

Total assessment hours: 2

In brief

ECTS credits : cf Teaching Unit

Number of hours 20


Responsable pédagogique


Phone : +33 5 62 25 95 06

Email : nicolas.barnier @ enac.fr