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

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

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