Λογικός Προγραμματισμός

Διαδικαστικός και δηλωτικός προγραμματισμός. Ο λογικός προγραμματισμός (logic programming) ως προγραμματισμός με βάση την Κατηγορηματική Λογική (predicate logic). Προτασιακή Λογική. Σύνταξη και σημασιολογία. Λογική Συνεπαγωγή. Πίνακες Αληθείας και Αποδεικτικές Μέθοδοι στην Προτασιακή Λογική. Αξιωματικά σχήματα και η έννοια της αποδειξιμότητας. Ορθότητα και πληρότητα. Μέθοδος της Επίλυσης στην Προτασιακή Λογική και στρατηγικές αναζήτησης. Σύνταξη και σημασιολογία της Κατηγορηματικής Λογικής. Μέθοδος Herbrand. Αποδεικτικές μέθοδοι της Κατηγορηματικής Λογικής. Ενοποίηση και Επίλυση στην Κατηγορηματική Λογική. Προτάσεις Horn. Η γλώσσα προγραμματισμού Prolog. Σύνταξη προγραμμάτων. Λίστες, τελεστές και αριθμητική. Έλεγχος οπισθοδρόμησης. Άρνηση στην Prolog. Ενσωματωμένα κατηγορήματα. Χειρισμός δομών δεδομένων. Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία και κατανόηση φυσικής γλώσσας.

http://e-class.ionio.gr/courses/DCS141/
http://mixstef.github.io/courses/logprog

Με την επιτυχή ολοκλήρωση του μαθήματος “Λογικός Προγραμματισμός” οι προπτυχιακοί φοιτητές είναι σε θέση:

• Να κατανοήσουν βασικά προβλήματα μαθηματικής λογικής.
• Να παρακολουθήσουν αυτόνομα περαιτέρω εξελίξεις στον τομέα των συστημάτων επίλυσης λογικού προγραμματισμού.
• Να μετασχηματίσουν τις ανάγκες μιας εφαρμογής σε κανόνες μαθηματικής λογικής.
• Να σχεδιάσουν και να εφαρμόσουν μεθόδους επίλυσης μαθηματικής λογικής σε συστήματα λογικού προγραμματισμού.

1. Μητακίδης Γιώργος, “Από τη λογική στο λογικό προγραμματισμό και την Prolog”, Εκδόσεις ΚΑΡΔΑΜΙΤΣΑ, 1992.
2. ΝΟΤΟΠΟΥΛΟΣ ΠΑΝΑΓΙΩΤΗΣ, “ΠΡΟΓΡΑΜΜΑΤΙΖΟΝΤΑΣ ΣΤΗ ΛΟΓΙΚΗ – PROLOG Α’ ΕΚΔΟΣΗ”, Εκδοσεις ΑΝΙΚΟΥΛΑ, 2008.