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

• Κύριοι συγγραφείς: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΛΟΓΙΚΗ; ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ; ΠΡΟΛΟΓ; ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Logic Programming; Prolog; Logic; Programming Techniques; Symbol Processing; Knowledge Representation And Reasoning

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