Λογικός Προγραμματισμός
Ενότητες
Αναλυτική παρουσίαση μίας επέκτασης του λογικού προγραμματισμού, αυτής του λογικού προγραμματισμού με περιορισμούς. Θέματα υλοποίησης συστημάτων λογικού προγραμματισμού και παράλληλου λογικού προγραμματισμού.
Λέξεις κλειδιά: λογικός προγραμματισμός με περιορισμούς, διερμηνέας Prolog, μεταγλωττιστής Prolog, Ή-παραλληλία, ΚΑΙ-παραλληλία
Σημειώσεις | ||
4. Επεκτάσεις, υλοποίηση, παραλληλία.pdf | ||
4. Επεκτάσεις, υλοποίηση, παραλληλία.pptx | ||
Βιντεοδιαλέξεις | ||
Εισαγωγή κόμβου Εισαγωγή και διαγραφή κόμβων σε δυαδικό λεξικό, διαγραφή κόμβου από φύλλο, διαγραφή κόμβου από οπουδήποτε. Εισαγωγή κόμβου στη ρίζα. Εισαγωγή κόμβου οπουδήποτε (μη ντετερμινιστικά). |
||
Γράφοι Αναπαραστάσεις γράφων, αναπαραστάσεις κατευθυνόμενων γράφων (με κόστος ακμών). Εύρεση μονοπατιού σε γράφο, εύρεση μονοπατιού Hamilton (μονοπάτι χωρίς κύκλους που περιλαμβάνει όλους τους κόμβους του γράφου). |
||
Δυαδικά δένδρα Στοιχείο μέλος ενός δυαδικού δέντρου, δυαδικό λεξικό. |
||
Υλοποίηση συστημάτων λογικού προγραμματισμού Διερμηνέας, μεταγλωτιστής. Αναπαράσταση στην περιοχή προγράμματος των προτάσεων. Εισαγωγή στον παράλληλο λογικό προγραμματισμό. |
||
Εύρεση μονοπατιού με κόστος Συνέχεια στους γράφους. Εύρεση μονοπατιού ελαχίστου κόστους από node1 σε node2. Παραδείγματα. |
||
Επίλυση παλαιών θεμάτων Μεταβλητές, κατηγορήματα επεξεργασίας λιστών, άρνηση, προγραμματισμός με περιορισμούς. |