Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης

Abstract

Τα μετα-λογικά χαρακτηριστικά της γλώσσας αυξάνουν σημαντικά την δυνατότητα ανάπτυξης πρακτικών προγραμμάτων. Στην κατηγορία ανήκουν τα κατηγορήματα συλλογής λύσεων (setof, findall, bagof), τα οποία και παρουσιάζονται μέσω κάποιων εξαιρετικά κομψών και λακωνικών παραδειγμάτων. Το κεφάλαιο, παρουσιάζει επίσης μια επέκταση της Prolog που επιτρέπει την κωδικοποίηση λογικών πέραν της κατηγορηματικής λογικής πρώτης τάξης, την μεταβλητή κλήση, η οποία εκμεταλλευόμενη την συντακτική ισομορφία των κατηγορημάτων και των σύνθετων όρων, επιτρέπει την δημιουργία κατά την εκτέλεση ερωτημάτων προς απόδειξη καθώς και την κλήση τους. Η μετατροπή του προγράμματος κατά τη διάρκεια της εκτέλεσης είναι το επόμενο αντικείμενο το οποίο πραγματεύεται το κεφάλαιο, η οποία προσφέρει ένα απλό τρόπο μεταβολής του ίδιου του εκτελέσιμου κώδικα. Τέλος, παρουσιάζεται η έννοια των τελεστών στην Prolog καθώς και οι τρόποι ορισμού νέων τελεστών που αποσκοπούν στην ανάπτυξη πιο ευέλικτων προγραμμάτων.

The meta-logical features of the language significantly enhance the capability to develop practical programs. This category includes solution-collection predicates (setof, findall, bagof), which are presented through some extremely elegant and concise examples. The chapter also introduces an extension of Prolog that allows encoding logics beyond first-order predicate logic: the variable call, which, exploiting the syntactic isomorphism between predicates and complex terms, permits the dynamic creation and invocation of queries during execution. The transformation of the program during execution is the next topic addressed, offering a simple way to modify the executable code itself. Finally, the chapter presents the concept of operators in Prolog and the methods for defining new operators, aimed at developing more flexible programs.