Logic Programming

Teaching Staff: Ringas Dimitrios
Course Code: HY-160
Course Type: Elective Course
Course Level: Undergraduate
Course Language: Greek
Semester: 7th
ECTS: 4
Teaching Units: 4
Lecture Hours: 2
Lab/Tutorial Hours: 2L
Total Hours: 4
E Class Page: http://e-class.ionio.gr/courses/DCS141/

Short Description:

Procedural and declarative programming differences. Programming according to predicate logic. Propositional logic. Entailment and proof methods in propositional logic. Axioms and decidability. Resolution methods. Syntax and semantics of predicate logic. Unification and resolution in predicate logic. Horn clauses. The Prolog programming language. Syntax, lists, operators and arithmetic. Backtracking control and negation. Data structure handling. Applications of Prolog in search problems, symbolic processing and natural language understanding.

e-class
Module webpage

Suggested Bibliography: