Δηλωτικός Προγραμματισμός

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

Το κεφάλαιο ξεκινά με την παρουσίαση της διάσημης πλέον "εξίσωσης" του R.Kowalski που περιγράφει την έννοια του δηλωτικού προγραμματισμού. Εξηγεί πως οι γλώσσες που ανήκουν στην κατηγορία επιτρέπουν στον προγραμματιστή να περιγράφει απλά το προς επίλυση πρόβλημα έτσι ώστε η επίλυσή...