IP5002 - Logic programming

IP5002 - 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.

In brief

ECTS credits : cf Teaching Unit



  • Toulouse