ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Εαρινό Εξάμηνο 2020-21

Γενικά Στοιχεία

Προαιρετικό μάθημα κατεύθυνσης Α, βασικό ειδικευσης Ε2, επιλογή ειδίκευσης Ε3

Εξ αποστάσεως διαλέξεις: Τρίτη 13:00-15:00, Πέμπτη 13:00 - 15:00, έναρξη: Τρίτη 23/2/2021 (πιθανές αναπληρώσεις μαθημάτων: Παρασκευή 9:00 - 11:00)

Σύνδεσμος εξ αποστάσεως διαλέξεων: https://us04web.zoom.us/j/73027454630?pwd=M3NLa1MrbWp6THcveDI1czg3LzQxdz09

Διδάσκοντες: Παναγιώτης Σταματόπουλος (takis

di.uoa.gr), Ιζαμπώ Καράλη (izambo

di.uoa.gr)
Συνεργάτες: Περικλής Μαντένογλου (periklismant

di.uoa.gr), Νεφέλη Προκοπάκη-Κωστοπούλου (nefelipk

di.uoa.gr)

Φόρουμ επικοινωνίας

Για τη διευκόλυνση της επικοινωνίας των φοιτητών του μαθήματος με τους διδάσκοντες, τους συνεργάτες, αλλά και μεταξύ τους, έχει εγκατασταθεί ένα φόρουμ επικοινωνίας στη διεύθυνση https://lists.di.uoa.gr/forumdisplay.php?f=217.

Περιεχόμενο Μαθήματος

Γενικά περί διαδικαστικού και δηλωτικού προγραμματισμού
Ο λογικός προγραμματισμός σαν μία εκδοχή του δηλωτικού προγραμματισμού
Η γλώσσα προγραμματισμού Prolog
- Σύνταξη προγραμμάτων
- Λίστες
- Τελεστές
- Αριθμητική
- Έλεγχος οπισθοδρόμησης
- Αρνηση στην Prolog
- Ενσωματωμένα κατηγορήματα
- Χειρισμός δομών δεδομένων
- Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία, κατανόηση φυσικής γλώσσας και μεταπρογραμματισμό
Θεωρία λογικού προγραμματισμού
- Ερμηνείες και μοντέλα
- Μοντελοθεωρητική σημασιολογία
- Σημασιολογία σταθερού σημείου
- Ενοποίηση
- SLD-επίλυση
- Λειτουργική σημασιολογία
Λογικός προγραμματισμός με περιορισμούς
Τεχνικές υλοποίησης συστημάτων λογικού προγραμματισμού
Παράλληλος λογικός προγραμματισμός
Λογικός προγραμματισμός για αναπαράσταση γνώσης
- Αναπαράσταση γνώσης - μεθοδολογίες και υλοποιήσεις τους με χρήση της Prolog
- Συστήματα βασισμένα σε γνώση - η περίπτωση των εμπείρων συστημάτων
- Συμπερασματικές βάσεις δεδομένων - η περίπτωση της Datalog
- Λογικός προγραμματισμός και παγκόσμιος ιστός

Βιβλιογραφία

Π. Σταματόπουλος, "Λογικός και Συναρτησιακός Προγραμματισμός", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2016. http://hdl.handle.net/11419/3587 (με διορθωμένα παροράματα εδώ)
Η. Σακελλαρίου, Ν. Βασιλειάδης, Π. Κεφαλάς, Δ. Σταμάτης, "Τεχνικές Λογικού Προγραμματισμού", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2016. http://hdl.handle.net/11419/777
I. Bratko, "Prolog Programming for Artificial Intelligence", Third Edition, Addison-Wesley, 2000.
L. Sterling, E. Shapiro, "The Art of Prolog", The MIT Press, 1994.
C. F. Mellish, W. F. Clocksin, "Programming in Prolog: Using the ISO Standard", Springer Verlag, 2003.
J. W. Lloyd, "Foundations of Logic Programming", Springer Verlag, 1993.
K. R. Apt, M. G. Wallace, "Constraint Logic Programming Using ECLiPSe", Cambridge University Press, 2007.
P. Deransart, A. Ed-Dbali, L. Cervoni, "Prolog: The Standard - Reference Manual", Springer Verlag, 1996.

Ενδιαφέροντες Σύνδεσμοι

Ανασκοπήσεις Διαλέξεων

Διαφάνειες

Ασκήσεις

Α' ομάδα ασκήσεων

Προθεσμία παράδοσης άσκησης 1: Τρίτη 23/3/2021, 23:59.
Προθεσμία παράδοσης άσκησης 2: Πέμπτη 1/4/2021, 23:59.
Προθεσμία παράδοσης άσκησης 3: Πέμπτη 15/4/2021, 23:59.

Β' ομάδα ασκήσεων

Προθεσμία παράδοσης άσκησης 4: Πέμπτη 22/4/2021, 23:59.
Προθεσμία παράδοσης άσκησης 5: Τρίτη 11/5/2021, 23:59.
Προθεσμία παράδοσης άσκησης 6: Πέμπτη 20/5/2021, 23:59.
Προθεσμία παράδοσης άσκησης 7: Παρασκευή 4/6/2021, 23:59.

Σημαντικό μήνυμα στο lists σχετικά με την υλοποίηση ασκήσεων σε Eclipse και άλλα συστήματα Prolog

Οι ασκήσεις υποβάλλονται μέσω της ιστοσελίδας του μαθήματος στο e-class (http://eclass.uoa.gr/courses/D51/).

Διαθέσιμα Συστήματα Prolog

Το σύστημα ECLiPSe είναι εγκατεστημένο και στα μηχανήματα του εργαστηρίου Linux. Το εκτελέσιμο πρόγραμμα ονομάζεται "eclip" και βρίσκεται στον κατάλογο /usr/local/bin. Για το γραφικό περιβάλλον, μπορεί να χρησιμοποιηθεί το "tkeclipse".

Προηγούμενα Θέματα Εξετάσεων

1997-2020

Βαθμολογία

Τελική εξέταση:	60%
Ασκήσεις:	40%