IP5562 - Logic programming

Objectives

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.

Hours

• Lectures : 10
• Supervised Work : 8

Form of assessment

Total assessment hours: 2

This course is part of the programme

• Part-time Ingénieur ENAC (MSc Programme)