ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Εισαγωγή στη Γλώσσα Προγραμματισμού Prolog
© Ευάγγελος Κουράκος Μαυρομιχάλης, 2006
Ύλη μαθήματος
Εισαγωγικά
Τι είναι η Prolog
Τα μέρη της Prolog (Editor-Data Base-Interpreter)
Διαφορές μεταξύ διαδικαστικών και δηλωτικών γλωσσών προγραμματισμού
Η δομή ενός προγράμματος Prolog
Γεγονότα
Μεταβλητές
Κανόνες
Παραδείγματα
Ο μηχανισμός ελέγχου της Prolog
Η ταυτοποίηση
Το δένδρο υπολογισμού της Prolog
Ενσωματωμένες Διαδικασίες
Διαδικασίες εισόδου/εξόδου
Αριθμητικές ενσωματωμένες διαδικασίες
Σύγκριση όρων στη Prolog
Δυναμική τροποποίηση προγράμματος
Αποκοπή και Άρνηση
Η αποκοπή (επίδραση αποκοπής στο δένδρο υπολογισμού)
Η άρνηση ως αποτυχία
Λίστες
Η δομή της λίστας
Διαδικασίες με λίστες
Αναπαράσταση πινάκων με λίστες
Παραδείγματα
Βιβλιογραφία