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: 68
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 Year2015 – 2016
Class PeriodSpring
Faculty Instructors
Weekly Hours4
Class ID
600004993
Type of the Course
  • Scientific Area
  • Skills Development
Mode of Delivery
  • Face to face
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
ActivitiesWorkloadTotal hours of student effort for the semester. Includes lectures, labs, field etc.ECTSThe credit units (ECTS) of the respective teaching activity. Each unit correponds to 30 hours of student workload.IndividualFor the learning activity cooperation between students is not requisiteTeamworkFor the learning activity the students cooperate in teamsErasmusThe learning activity is available to students of exchange programmes
Lectures391.3
Tutorial130.4
Project692.3
Exams30.1
self-study260.9
Total1505
Student Assessment
Description
Written exams (75%), Programming Projects (25%)
Student Assessment methods
  • Written Exam with Multiple Choice Questions (SummativeSummative assessment refers to the assessment of the learning and summarizes the development of learners at a particular time.)
  • Written Exam with Short Answer Questions (SummativeSummative assessment refers to the assessment of the learning and summarizes the development of learners at a particular time.)
  • Written Assignment (FormativeFormative assessment is a range of formal and informal assessment procedures employed by teachers during the learning process in order to modify teaching and learning activities to improve student attainment., SummativeSummative assessment refers to the assessment of the learning and summarizes the development of learners at a particular time.)
  • Written Exam with Problem Solving (SummativeSummative assessment refers to the assessment of the learning and summarizes the development of learners at a particular time.)
Bibliography
Course Bibliography (Eudoxus)
- ΣΑΚΕΛΛΑΡΙΟΥ, Η., ΒΑΣΙΛΕΙΑΔΗΣ, Ν., ΚΕΦΑΛΑΣ, Π., ΣΤΑΜΑΤΗΣ, Δ., 2016. Τεχνικές Λογικού Προγραμματισμού. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/777 - Μανόλης Μαρακάκης, “Prolog: Προγραμματισμός σε Λογική για Τεχνητή Νοημοσύνη”, ΕΚΔΟΣΕΙΣ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ, ISBN: 978-960-6759-98-7, 2014. - Σημειώσεις-Διαφάνειες διδάσκοντος για το μάθημα. - Πολυμεσικός οδηγός εκμάθησης 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
02-06-2016