Σημασιολογία Prolog Προγραμμάτων

Το κεφάλαιο ξεκινά με την παρουσίαση της διαδικασίας ενοποίησης, δηλαδή του κύριου μηχανισμού ανάθεσης τιμών σε μεταβλητή και περάσματος παραμέτρων, η οποία αποτελεί έναν από τα ισχυρότερα στοιχεία της γλώσσας. Μέσω παραδειγμάτων κλιμακούμενης δυσκολίας δίνεται η έννοια του πλέον γενικού ενοποιητή....

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

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

id	kallipos-11419-782
record_format	dspace
spelling	kallipos-11419-7822021-07-11T22:22:31Z Σημασιολογία Prolog Προγραμμάτων Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Το κεφάλαιο ξεκινά με την παρουσίαση της διαδικασίας ενοποίησης, δηλαδή του κύριου μηχανισμού ανάθεσης τιμών σε μεταβλητή και περάσματος παραμέτρων, η οποία αποτελεί έναν από τα ισχυρότερα στοιχεία της γλώσσας. Μέσω παραδειγμάτων κλιμακούμενης δυσκολίας δίνεται η έννοια του πλέον γενικού ενοποιητή. Στη συνέχεια και έχοντας ορίσει τη διαδικασία ενοποίησης, περιγράφεται το πως η αποδεικτική διαδικασία που βασίζεται στον κανόνα της αρχής της ανάλυσης υλοποιείται από τον μηχανισμό εκτέλεσης της Prolog, για την απάντηση ερωτημάτων. Τέλος μέσω παραδειγμάτων εκτέλεσης παρουσιάζεται ο μηχανισμός αποσφαλμάτωσης της Prolog, το "box model" και πως μπορούν να εντοπιστούν μέσω αυτού σφάλματα σε λογικά προγράμματα. 2016-01-15T16:13:11Z 2021-07-09T19:41:23Z 2016-01-15T16:13:11Z 2021-07-09T19:41:23Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/782 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, το "box model" και πως μπορούν να εντοπιστούν μέσω αυτού σφάλματα σε λογικά προγράμματα.
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/782
work_keys_str_mv	AT sakellariouilias sēmasiologiaprologprogrammatōn AT vasileiadisnikolaos sēmasiologiaprologprogrammatōn AT kefalaspetros sēmasiologiaprologprogrammatōn AT stamatisdimosthenis sēmasiologiaprologprogrammatōn AT sakellariouēlias sēmasiologiaprologprogrammatōn AT basileiadēsnikolaos sēmasiologiaprologprogrammatōn AT kephalaspetros sēmasiologiaprologprogrammatōn AT stamatēsdēmosthenēs sēmasiologiaprologprogrammatōn
_version_	1771301325491929088

Σημασιολογία Prolog Προγραμμάτων

Παρόμοια τεκμήρια