Ευφυείς Τεχνικές Λογικού Προγραμματισμού

Abstract

Το κεφάλαιο περιλαμβάνει ένα σύνολο τεχνικών λογικού προγραμματισμού, στοχευμένων στην ανάπτυξη λογικών προγραμμάτων, όπως είναι η αναπαράσταση και επίλυση προβλημάτων με ελλιπή δεδομένα και ο συμβολικός προγραμματισμός. Εξηγείται η έννοια του ιντετερμινιστικού προγραμματισμού (non-deterministic programming) και πως μια τέτοια προσέγγιση υποστηρίζεται εγγενώς από το μοντέλο εκτέλεσης του ΛΠ. Μια εξαιρετικά ενδιαφέρουσα τεχνική, μοναδική στον ΛΠ, είναι η αντίστροφη χρήση ορισμάτων, που προκύπτει σαν συνέπεια της δηλωτικότητας του ΛΠ και της απουσίας ορισμού ορισμάτων εισόδου-εξόδου, και επιτρέπει την ποικιλόμορφη χρήση των κατηγορημάτων, με κλασικά παραδείγματα τα κατηγορήματα διαχείρισης λιστών. Τέλος παρουσιάζονται οι τεχνικές του Αυξητικού (Incremental) Προγραμματισμού, ιδιαίτερα δημοφιλή στον ΛΠ καθώς οι περισσότερες υλοποιήσεις είναι διερμηνευόμενες (interpreted) και η "από άνω προς τα κάτω" (Top Down) προσέγγιση στην ανάπτυξη προγραμμάτων.