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

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

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