Κατασκευή μηχανής Warren σε γλώσσα Python
Loading...
Date
2025-06-30
Authors
Κουνάβης, Ανδρέας
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Σκοπός της διπλωματικής εργασίας είναι αρχικά η μελέτη του βιβλίου: «Warren’s Abstract Machine: A tutorial reconstruction ( Hassan Ait-Kaci, 1999)». Στο βιβλίο αυτό περιγράφεται αναλυτικά ένας αφηρημένος υπολογιστικός μηχανισμός για την εκτέλεση προγραμμάτων Prolog, ο οποίος ονομάζεται μηχανή Warren (WAM = Warren Abstract Machine). Ο στόχος της παρούσας διπλωματικής εργασίας είναι σε πρώτη βάση ο αναγνώστης να κατανοήσει με ποιό τρόπο ένας κώδικας Prolog μεταγλωττίζεται σε εντολές της μηχανής αυτής. ‘Έπειτα, να κατανοήσει με ποιόν τρόπο εκτελούνται από τη μηχανή αυτή και να γνωρίζει την αρχιτεκτονική μνήμης της. Στη συνέχεια, θα παρουσιαστεί η υλοποίηση αυτής της μηχανής σε γλώσσα Python, αντικατοπτρίζοντας τόσο την αρχιτεκτονική της, όσο και το μηχανισμό εκτέλεσης προγραμμάτων που διαθέτει. Συνεπώς αφού δημιουργήσει κάποιος μια τέτοια μηχανή σε οποιοδήποτε γλώσσα προγραμματισμού, θα μπορεί μετά να εκτελέσει προγράμματα Prolog στο αντίστοιχο(ως προς τη γλώσσα) Γραφικό Περιβάλλον Χρήστη(Graphical User Interface ή GUI). Στη συγκεκριμένη περίπτωση η WAM προτείνεται να κατασκευαστεί σε γλώσσα Python 3 ως ξεχωριστή βιβλιοθήκη (module). Θα παρουσιαστούν επίσης σχετικά παραδείγματα προγραμμάτων που μπορούν να εκτελεστούν από τη συγκεκριμένη μηχανή μέσα από τα οποία θα αποσαφηνιστεί
περεταίρω ο τρόπος με τον οποίο η υλοποίηση αυτή τα εκτελεί.Τα αρχεία κώδικα που χρειάζονται για να εκτελέσει κανείς προγράμματα Prolog μέσω από την Python, καθώς και ο Prolog κώδικας παραδειγμάτων που δύναται να
παρουσιαστούν διατίθεται στο GitHub:(https://github.com/apk7117/Warren-Abstract-Machine-Implementation-in-Python).Μια τρίλεπτη παρουσίαση (3 Minute Thesis) του γενικότερου θέματος της συγκεκριμένης εργασίας μπορεί να βρεθεί στον σύνδεσμο: https://youtu.be/ps2Vwdf9_E0?feature=shared
Description
Keywords
Ενοποίηση όρων, Οπισθοδρόμηση, Δηλωτικός προγραμματισμός