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
In brief
ECTS credits : cf Teaching Unit
Number of hours 20