COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING

Course Information
TitleΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
CodeNIS-06-02
FacultySciences
SchoolInformatics
Cycle / Level1st / Undergraduate
Teaching PeriodSpring
CoordinatorNick Bassiliades
CommonYes
StatusActive
Course ID40002952

Programme of Study: Undergradute Studies - School of Informatics (2015-today)

Registered students: 62
OrientationAttendance TypeSemesterYearECTS
Information SystemsElected Compulsory Directional635
Digital MediaElective Courses635
Communication, Networks And Systems ArchitectureElective Courses635
Information And Communication Technologies In EducationElective Courses635
General Common DirectionElective Courses635

Class Information
Academic Year2014 – 2015
Class PeriodSpring
Faculty Instructors
Weekly Hours4
Class ID
40052520
Type of the Course
  • Scientific Area
  • Skills Development
Mode of Delivery
  • Face to face
Digital Course Content
Erasmus
The course is offered to exchange programme students.
Language of Instruction
  • Greek (Instruction, Examination)
Prerequisites
General Prerequisites
Basic knowledge of discrete mathematics, Basic knowledge of programming, Basic knowledge of data structures
Learning Outcomes
Knowledge: Familiarization with Mathematical Logic principles, Familiarization with using Logic as a Programming Languages, Training on Prolog programming language. Skills: Representing and solving logical expressions. Programming with the Prolog programming language.
General Competences
  • Apply knowledge in practice
  • Retrieve, analyse and synthesise data and information, with the use of necessary technologies
  • Adapt to new situations
  • Make decisions
  • Work autonomously
  • Work in teams
  • Advance free, creative and causative thinking
Course Content (Syllabus)
Mathematical Logic (Propositional calculus, normal forms, inference mechanisms, resolution principle, predicate calculus, variables and quantifiers, variable substitution and unification). From Logic to Logic Programming (Kowalski form, Horn clauses). Logic Programming (Basic concepts, history, Prolog language). Syntax of Logic programs (Queries, Rules, Predicates, Complex Terms). Unification. Execution control mechanism. Recursion. Lists. Number representation (arithmetic operations, comparison, mathematical functions). String handling. Input/Output. Variable Goals. Term type testing. Term construction/decomposition. Cut (effect on the computation tree, usage). Negation as failure. Solution management. Clause management. Programming methodology. Logic Programming Applications.
Keywords
mathematical logic, computational logic, logic programming, Prolog
Educational Material Types
  • Slide presentations
  • Book
  • Programs
Use of Information and Communication Technologies
Use of ICT
  • Use of ICT in Course Teaching
  • Use of ICT in Laboratory Teaching
  • Use of ICT in Communication with Students
Description
Powerpoint slides, Multimedia Programming guide, Prolog programming language demonstration
Course Organization
ActivitiesWorkloadECTSIndividualTeamworkErasmus
Lectures
Tutorial
Project
self-study
Total
Student Assessment
Description
Written exams (70%), Programming Projects (30%)
Student Assessment methods
  • Written Exam with Multiple Choice Questions (Summative)
  • Written Exam with Short Answer Questions (Summative)
  • Written Assignment (Formative, Summative)
Bibliography
Course Bibliography (Eudoxus)
- PROγραμματίζοντας στη LOGική, Μ. Κατζουράκη, Μ. Γεργατσούλης, Σ. Κόκκοτος, Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής, Αθήνα 1991. - Σημειώσεις-Διαφάνειες διδάσκοντος για το μάθημα. - Πολυμεσικός οδηγός εκμάθησης Prolog.
Additional bibliography for study
- Programming in Prolog, W. Clocksin, C. Mellish, Springer-Verlag. - Prolog Programming for Artificial Intelligence, Ivan Bratko, Addison-Wesley, (2nd or 3rd ed.).
Last Update
25-04-2014