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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/781
Περιγραφή
Περίληψη:Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog.