Section outline

  • Logic Programming (WS 2014/2015)

    326.028

    Time: Wednesday 16:15-18:00. Room: HS 12. Lecturer: Temur Kutsia. Language: English. Start: October 8, 2014.

    Goals

    • Introduction to logic programming.
    • Understanding logical foundations and computational model.
    • Learning practical programming in Prolog.

    The final grade will depend on the assignment results and on the final exam at the end of the semester (solving assignments is a necessary precondition to be admitted to the exam).

    Registration

    Please register for the course via the KUSSS system. Exercises should be submitted via this page.

    Contents

    • Logical foundations. Introduction to Prolog programming.
    • Questions, variables, conjunctions, rules, goals.
    • Prolog syntax. Characters, operators, equality and matching, arithmetic.
    • Using data structures. Programming techniques on Prolog (Mapping, recursion, accumulators, difference structures).
    • Backtracking, generating multiple solutions, the cut.
    • Selected examples.
    • Unification, computational model of logic programs.
    • Constraint logic programming.
    • Grammar rules (DCG).
    • Efficiency issues.