Logic Programming
Teaching Staff: Ringas Dimitrios
Code: ΗΥ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/
Curricula: Curriculum in Informatics up to 2024-25
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.
Suggested Bibliography:
- Ivan Bratko, Prolog Programming for Artificial Intelligence, 3rd Edition, Addison Wesley, 2000.
Back
Studies
Secretery Building (Building 3)
7 Tsirigoni Square
Corfu, 49100
tel:26610 87760 / 87761 / 87763
e-mail: cs@ionio.gr
e-mail: cs@ionio.gr
