IP5002 - Logic programming

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