Σημασιολογία Prolog Προγραμμάτων

Abstract

Το κεφάλαιο ξεκινά με την παρουσίαση της διαδικασίας ενοποίησης, δηλαδή του κύριου μηχανισμού ανάθεσης τιμών σε μεταβλητή και περάσματος παραμέτρων, η οποία αποτελεί έναν από τα ισχυρότερα στοιχεία της γλώσσας. Μέσω παραδειγμάτων κλιμακούμενης δυσκολίας δίνεται η έννοια του πλέον γενικού ενοποιητή. Στη συνέχεια και έχοντας ορίσει τη διαδικασία ενοποίησης, περιγράφεται το πως η αποδεικτική διαδικασία που βασίζεται στον κανόνα της αρχής της ανάλυσης υλοποιείται από τον μηχανισμό εκτέλεσης της Prolog, για την απάντηση ερωτημάτων. Τέλος μέσω παραδειγμάτων εκτέλεσης παρουσιάζεται ο μηχανισμός αποσφαλμάτωσης της Prolog, το "box model" και πως μπορούν να εντοπιστούν μέσω αυτού σφάλματα σε λογικά προγράμματα.

The chapter begins with an introduction to the unification process—the core mechanism for variable assignment and parameter passing—which is one of the most powerful features of the language. Through progressively more complex examples, the concept of the most general unifier is explained. Having established the unification process, the chapter then describes how the proof procedure, based on the resolution principle, is implemented by Prolog’s execution engine to answer queries. Finally, using execution examples, the Prolog debugging mechanism—the "box model"—is presented, along with how it can be used to identify errors in logic programs.