Λογικός Προγραμματισμός
Ενότητες
Αναλυτική παρουσίαση της γλώσσας προγραμματισμού Prolog μέσω της παράθεσης προγραμμάτων που επιδεικνύουν τις δυνατότητες της γλώσσας. Περιγραφή των συνηθέστερων ενσωματωμένων κατηγορημάτων της Prolog.
Λέξεις κλειδιά: γλώσσα προγραμματισμού Prolog
Σημειώσεις | ||
| 2. Η γλώσσα προγραμματισμού Prolog.pdf | ||
| 2. Η γλώσσα προγραμματισμού Prolog.pptx | ||
Βιντεοδιαλέξεις | ||
| Απλό πρόγραμμα σε Prolog, συνέχεια Περεταίρω κανόνες, αναδρομικοί κανόνες. |
||
| Κατηγορίες προβλημάτων που μπορούν να λυθούν με λογικό προγραμματισμό Προβλήματα αναζήτησης: πρώτα κατά βάθος αναζήτηση. Προβλήματα ικανοποίησης περιορισμών. Προβλήματα συμβολικής παραγώγισης. |
||
| Απλό πρόγραμμα σε Prolog Συνθετες ερωτήσεις, επέκταση προγράμματος. |
||
| Αναδρομικοί κανόνες Ανακατατάξεις προτάσεων και στόχων. Δένδρα αναπαράστασης. |
||
| Αλφάβητο της Prolog Άτομα, αριθμοί, μεταβλητές, αναπαράσταση. |
||
| Δομή λίστας Λίστες, παραδείγματα λιστών (απλές εώς σύνθετες). |
||
| Δομή λίστας, συνέχεια Συνένωση λιστών. Ενσωματωμένα κατηγορήματα. |
||
| Κατηγορήματα reverse και sublist Τα κατηγόρημα reverse και sublist: παραδείγματα. |
||
| Αναδιάταξη λίστας Συνέχεια στο παράδειγμα της sublist. Εισαγωγή στοιχείου στην αρχή της λίστας. Διαγραφή στοιχείου από τη λίστα. |
||
| Μήκος λίστας Το κατηγόρημα length. |
||
| Τελεστές Προτεραιότητα ορίσματος, προσεταιριστικότητα (associativity). Μερικοί προκαθορισμένοι τελεστές. Παραδείγματα από παλιά θέματα. |
||
| Παράδειγμα της flatten Συνέχεια από το προηγούμενο μάθημα. Παράδειγμα της flatten στην ECLIPSE. |
||
| Και άλλα κατηγορήματα αριθμητικής Παραδείγματα κατηγορημάτων: max, maxlist, ordered. |
||
| Και άλλα κατηγορήματα αριθμητικής, συνέχεια Παραδείγματα κατηγορημάτων: subsum, between. Μερικά εσωματωμένα κατηγορήματα. |
||
| Άρνηση στην Prolog Εισαγωγή, παραδείγματα. |
||
| Ανασκόπηση: ενσωματωμένα κατηγορήματα Το κατηγόρημα name. Kατηγορήματα ελέγχου τύπων, χειρισμού όρων, χειρισμού προγράμματος. |
||
| Το πρόβλημα των 8 βασιλισσών Λύση του προβλήματος. Προγραμματισμός με περιορισμούς. |
||
| Το πρόβλημα των 8 βασιλισσών, συνέχεια 2ος και 3ος τρόπος επίλυσης του προβλήματος. |
||
