ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Εαρινό Εξάμηνο 2016-17
Γενικά Στοιχεία
Προαιρετικό μάθημα κατεύθυνσης Α, βασικό ειδικευσης Ε2, επιλογή ειδίκευσης Ε3
Τόπος και χρόνος διαλέξεων: Τετάρτη 11:00 - 13:00, Πέμπτη 11:00 - 13:00
(αίθουσα Α1), έναρξη: Τετάρτη 22/2/2017 (πιθανές αναπληρώσεις μαθημάτων:
Παρασκευή 9:00 - 11:00)
Διδάσκοντες: Παναγιώτης Σταματόπουλος (takis
di.uoa.gr),
Ιζαμπώ Καράλη (izambodi.uoa.gr)
Συνεργάτες: Νίκος Καράλης (nkaralisdi.uoa.gr), Δημήτρης Μούρης (jimourisdi.uoa.gr), Νίκος Ποθητός (pothitosdi.uoa.gr)
Ηλεκτρονική Λίστα
Για εγγραφή στην ηλεκτρονική λίστα
του μαθήματος επισκεφθείτε την ιστοσελίδα
http://www.di.uoa.gr/~mailman/listinfo.cgi/lp.
Η διεύθυνση της λίστας, για αποστολή μηνυμάτων σ' αυτήν, είναι:
lp@di.uoa.gr. Παραλαβή μηνυμάτων από τη
λίστα γίνεται μέσω του ηλεκτρονικού ταχυδρομείου (στη διεύθυνση που δηλώθηκε
κατά την εγγραφή). Διαγραφή από τη λίστα, αλλά και ανάγνωση των μηνυμάτων
που έχουν σταλεί σ' αυτήν, μπορεί να γίνει επίσης μέσω της
ιστοσελίδας της
λίστας.
Περιεχόμενο Μαθήματος
- Γενικά περί διαδικαστικού και δηλωτικού προγραμματισμού
- Ο λογικός προγραμματισμός σαν μία εκδοχή του δηλωτικού προγραμματισμού
- Η γλώσσα προγραμματισμού 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/2017, 23:55.
Προθεσμία παράδοσης άσκησης 2: Πέμπτη 30/3/2017, 23:55.
Προθεσμία παράδοσης άσκησης 3: Πέμπτη 27/4/2017, 23:55.
Β' ομάδα ασκήσεων
Προθεσμία παράδοσης άσκησης 4: Πέμπτη 4/5/2017, 23:55.
Προθεσμία παράδοσης άσκησης 5: Πέμπτη 11/5/2017, 23:55.
Προθεσμία παράδοσης άσκησης 6: Δευτέρα 5/6/2017, 23:55.
Προθεσμία παράδοσης άσκησης 7: Παρασκευή 30/6/2017, 23:55.
Οι ασκήσεις υποβάλλονται μέσω της ιστοσελίδας του μαθήματος στο e-class
(http://eclass.uoa.gr/courses/D51/).
Σημαντικό μήνυμα στη λίστα σχετικά με την υλοποίηση ασκήσεων σε Eclipse και άλλα συστήματα Prolog
Διαθέσιμα Συστήματα Prolog
Το σύστημα ECLiPSe είναι εγκατεστημένο και στα μηχανήματα του
εργαστηρίου Linux. Το εκτελέσιμο πρόγραμμα ονομάζεται "eclip".
Πρέπει να προστεθεί στο αρχείο ~/.cshrc η εντολή:
set path = (/usr/local/eclipse/bin/i386_linux $path)
Προηγούμενα Θέματα Εξετάσεων
1997-2016
Βαθμολογία
| Γραπτή εξέταση: | 60% (απαιτείται βάση)
|
| Εργασίες: | 40%
|