Σύνταξη Prolog Προγραμμάτων

• 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

Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog.