ΣΗΜΑΣΙΟΛΟΓΙΑ ΚΑΙ ΥΠΟΣΤΗΡΙΞΗ ΣΤΟΙΧΕΙΟΠΟΙΗΣΗΣ ΛΟΓΙΚΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ ΜΕ ΕΦΑΡΜΟΓΗ ΤΗΣ ΣΤΟΥΣ ΑΦΗΡΗΜΕΝΟΥΣ ΤΥΠΟΥΣ ΔΕΔΟΜΕΝΩΝ

Abstract

IN THIS THESIS, A MODULE SYSTEM FOR LOGIC PROGRAMMING IS PRESENTED. THE MODULESEXCHANGE INFORMATION VIA INTERFACE DECLARATIONS WHICH ARE AN EXTENSION AND A REFINEMENT OF THE STANDARD IMPORT/EXPORT DECLARATIONS IN ORDER TO PROVIDE A LARGER FUNCTIONALITY. MODEL-THEORETIC, FIXPOINT AND OPERATIONAL SEMANTICS OF THE MODULE SYSTEM HAVE BEEN DEFINED AND HAVE BEEN PROVED TO BE EQUIVALENT. IN ADDITION, A FORMAL TRANSFORMATION OF THE MODULE SYSTEM TO FLAT LOGIC PROGRAMMING HAS BEEN ALSO DEFINED. THE FLAT LOGIC PROGRAM HAS BEEN PROVED TO BE EQUIVALENT TO THE MODULARIZED ONE. A PREPROCESSOR BASED IMPLEMENTATION OF THE MODULE SYSTEM IS BASED ON THE TRANSFORMATION. THE SYSTEM HAS BEEN IMPLEMENTED FOR PROLOG AND THE PREPROCESSOR ITSELF HAS BEEN CODED IN PROLOG. THE STRUCTURING FACILITY HAS BEEN EXTENDED TO THE ABSTRACT DATA TYPE (ADT) SUPPORT. AN ADT SYSTEMFOR PROLOG IS PRESENTED IN THE THESIS. THIS SYSTEM SUPPORTS ADT INSTANCES WITH STATE THAT CAN BE OBSERVED AND MODIFIED. TWO COMPLEMENTARY INSTANTIATION APPROACHES ARE SUPPORTED. THE MODULE SYSTEM, THOUGH PREDICATE BASED, PROVIDES THE ENCAPSULATION REQUIRED BY THE ADT SYSTEM. FINALLY, THE RELATION OF THE ADT SUPPORT WITH A PARALLEL LOGIC PROGRAMMING ENVIRONMENT IS DISCUSSED IN THE THESIS.

ΣΤΗ ΔΙΑΤΡΙΒΗ ΑΥΤΗ ΠΑΡΟΥΣΙΑΖΕΤΑΙ ΕΝΑ ΣΥΣΤΗΜΑ ΣΤΟΙΧΕΙΩΝ ΓΙΑ ΤΟ ΛΟΓΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΤΑ ΟΠΟΙΑ ΕΠΙΚΟΙΝΩΝΟΥΝ ΜΕΤΑΞΥ ΤΟΥΣ ΜΕΣΩ ΔΗΛΩΣΕΩΝ ΕΝΔΟΕΠΙΚΟΙΝΩΝΙΑΣ. ΟΙ ΔΗΛΩΣΕΙΣ ΕΙΣΑΓΩΓΗΣ/ΕΞΑΓΩΓΗΣ ΕΚΛΕΠΤΥΝΟΝΤΑΙ ΚΑΙ ΕΠΕΚΤΕΙΝΟΝΤΑΙ ΠΡΟΚΕΙΜΕΝΟΥ ΝΑ ΠΡΟΣΦΕΡΟΥΝ ΜΕΓΑΛΥΤΕΡΗ ΛΕΙΤΟΥΡΓΙΚΟΤΗΤΑ. ΣΤΟ ΣΥΣΤΗΜΑ ΣΤΟΙΧΕΙΩΝ ΑΠΟΔΙΔΕΤΑΙ ΜΟΝΤΕΛΟΘΕΩΡΗΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ, ΣΗΜΑΣΙΟΛΟΓΙΑ ΣΤΑΘΕΡΟΥ ΣΗΜΕΙΟΥ ΚΑΙ ΛΕΙΤΟΥΡΓΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ. ΟΙ ΤΡΕΙΣ ΑΥΤΕΣ ΣΗΜΑΣΙΟΛΟΓΙΕΣ ΑΠΟΔΕΙΚΝΥΟΝΤΑΙ ΙΣΟΔΥΝΑΜΕΣ. ΕΠΙΣΗΣ, ΟΡΙΖΕΤΑΙ ΤΥΠΙΚΑ ΕΝΑΣ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ Ο ΟΠΟΙΟΣ ΑΠΕΙΚΟΝΙΖΕΙ ΣΤΟΙΧΕΙΟΠΟΙΗΜΕΝΑ ΛΟΓΙΚΑ ΠΡΟΓΡΑΜΜΑΤΑ ΣΕ ΑΠΛΑ. ΔΙΝΕΤΑΙ ΜΙΑ ΜΟΡΦΗ ΙΣΟΔΥΝΑΜΙΑΣ ΤΗΣ ΕΙΚΟΝΑΣ ΤΟΥ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΥ ΜΕ ΤΙΣ ΑΛΛΕΣ ΣΗΜΑΣΙΟΛΟΓΙΕΣ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ. Ο ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ ΕΧΕΙ ΧΡΗΣΙΜΟΠΟΙΗΘΕΙ ΓΙΑ ΜΙΑ ΥΛΟΠΟΙΗΣΗ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ ΣΤΟΙΧΕΙΩΝ ΜΕΣΩ ΠΡΟΕΠΕΞΕΡΓΑΣΤΗ. Η ΥΛΟΠΟΙΗΣΗ ΕΧΕΙ ΓΙΝΕΙ ΓΙΑ ΤΗΝ PROLOG ΚΑΙ Ο ΠΡΟΕΠΕΞΕΡΓΑΣΤΗΣ ΕΙΝΑΙ ΚΑΙ ΑΥΤΟΣ ΚΩΔΙΚΟΠΟΙΗΜΕΝΟΣ ΣΕ PROLOG. ΠΡΟΚΕΙΜΕΝΟΥ ΝΑ ΕΠΕΚΤΑΘΕΙ Η ΔΥΝΑΤΟΤΗΤΑ ΔΟΜΗΣΗΣ ΚΑΙ ΣΤΑ ΔΕΔΟΜΕΝΑ, ΟΡΙΖΕΤΑΙ ΕΝΑ ΣΥΣΤΗΜΑ ΑΦΗΡΗΜΕΝΩΝ ΤΥΠΩΝ ΔΕΔΟΜΕΝΩΝ (ΑΤΔ) ΓΙΑ ΤΗΝ PROLOG. ΟΙ ΑΤΔ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ ΕΧΟΥΝ ΣΤΙΓΜΙΟΤΥΠΑ ΜΕ ΚΑΤΑΣΤΑΣΕΙΣ ΠΟΥ ΜΠΟΡΟΥΝ ΝΑ ΠΑΡΑΤΗΡΗΘΟΥΝ ΚΑΙ ΝΑ ΜΕΤΑΒΛΗΘΟΥΝ. ΠΑΡΟΥΣΙΑΖΟΝΤΑΙ ΔΥΟ ΠΡΟΣΕΓΓΙΣΕΙΣ ΓΙΑ ΤΗΝ ΥΠΟΣΤΗΡΙΞΗ ΚΑΙ ΦΥΣΗ ΤΩΝΣΤΙΓΜΙΟΤΥΠΩΝ ΑΤΔ. Η ΜΙΑ ΜΠΟΡΕΙ ΝΑ ΘΕΩΡΗΘΕΙ ΣΥΜΠΛΗΡΩΜΑΤΙΚΗ ΤΗΣ ΑΛΛΗΣ. ΣΥΖΗΤΑΤΑΙ, ΕΠΙΣΗΣ, Η ΥΠΟΣΤΗΡΙΞΗ ΤΟΥ ΑΠΑΙΤΟΥΜΕΝΟΥ ΕΓΚΛΩΒΙΣΜΟΥ ΤΩΝ ΑΤΔ ΜΕΣΩ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ ΣΤΟΙΧΕΙΩΝ ΚΑΙ ΠΑΡΟΥΣΙΑΖΕΤΑΙ Η ΥΠΑΡΧΟΥΣΑ ΥΛΟΠΟΙΗΣΗ ΤΟΥ. ΤΕΛΟΣ, ΣΤΗ ΔΙΑΤΡΙΒΗ ΣΧΟΛΙΑΖΕΤΑΙ Ο ΣΥΣΧΕΤΙΣΜΟΣ ΤΟΥ ΣΥΣΤΗΜΑΤΟΣ ΤΩΝ ΑΤΔ ΩΣ ΠΡΟΣ ΤΟΝ ΠΑΡΑΛΛΗΛΟ ΛΟΓΙΚΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟ.