IP5002 - Logic programming
Objectives
General objective:
Understand the semantic and master the syntax of Prolog to comprehend the declarative programming paradigm.
Detailed objectives:
Master syntactic (atom, variable, term, list, data structure and goal) and logic (literal, formula, rule, clause, predicate, disjunction, query) constructs of Logic Programming.
Understand the operational semantic of query resolution (success and failure, unification, resolution, backtracking, recursivity, negation by failure, cut).
Master Prolog as an expert, database and Constraint Programming system.
Position in the programme
Must be scheduled before Constraint Programming.
Hours
- Lecture : 16h
Form of assessment
Total assessment hours: 2
In brief
ECTS credits : cf Teaching Unit
Number of hours 18
Contact(s)
Places
- Toulouse