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

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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/781
id kallipos-11419-781
record_format dspace
spelling kallipos-11419-7812021-07-11T22:23:33Z Σύνταξη Prolog Προγραμμάτων Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog. 2016-01-15T16:13:11Z 2021-07-09T19:41:25Z 2016-01-15T16:13:11Z 2021-07-09T19:41:25Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/781 el 1 application/pdf
institution Kallipos
collection DSpace
language Greek
topic ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΠΡΟΛΟΓ
ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ
ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ
Logic Programming
Prolog
Logic
Programming Techniques
Symbol Processing
Knowledge Representation And Reasoning
spellingShingle ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΠΡΟΛΟΓ
ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ
ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ
Logic Programming
Prolog
Logic
Programming Techniques
Symbol Processing
Knowledge Representation And Reasoning
Sakellariou, Ilias
Vasileiadis, Nikolaos
Kefalas, Petros
Stamatis, Dimosthenis
Σακελλαρίου, Ηλίας
Βασιλειάδης, Νικόλαος
Κεφαλάς, Πέτρος
Σταμάτης, Δημοσθένης
Σύνταξη Prolog Προγραμμάτων
description Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog.
format 7
author Sakellariou, Ilias
Vasileiadis, Nikolaos
Kefalas, Petros
Stamatis, Dimosthenis
Σακελλαρίου, Ηλίας
Βασιλειάδης, Νικόλαος
Κεφαλάς, Πέτρος
Σταμάτης, Δημοσθένης
author_facet Sakellariou, Ilias
Vasileiadis, Nikolaos
Kefalas, Petros
Stamatis, Dimosthenis
Σακελλαρίου, Ηλίας
Βασιλειάδης, Νικόλαος
Κεφαλάς, Πέτρος
Σταμάτης, Δημοσθένης
author_sort Sakellariou, Ilias
title Σύνταξη Prolog Προγραμμάτων
title_short Σύνταξη Prolog Προγραμμάτων
title_full Σύνταξη Prolog Προγραμμάτων
title_fullStr Σύνταξη Prolog Προγραμμάτων
title_full_unstemmed Σύνταξη Prolog Προγραμμάτων
title_sort σύνταξη prolog προγραμμάτων
publishDate 2016
url http://localhost:8080/jspui/handle/11419/781
work_keys_str_mv AT sakellariouilias syntaxēprologprogrammatōn
AT vasileiadisnikolaos syntaxēprologprogrammatōn
AT kefalaspetros syntaxēprologprogrammatōn
AT stamatisdimosthenis syntaxēprologprogrammatōn
AT sakellariouēlias syntaxēprologprogrammatōn
AT basileiadēsnikolaos syntaxēprologprogrammatōn
AT kephalaspetros syntaxēprologprogrammatōn
AT stamatēsdēmosthenēs syntaxēprologprogrammatōn
_version_ 1771301347934601216