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

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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/787
id kallipos-11419-787
record_format dspace
spelling kallipos-11419-7872021-07-11T20:09:30Z Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Τα μετα-λογικά χαρακτηριστικά της γλώσσας αυξάνουν σημαντικά την δυνατότητα ανάπτυξης πρακτικών προγραμμάτων. Στην κατηγορία ανήκουν τα κατηγορήματα συλλογής λύσεων (setof, findall, bagof), τα οποία και παρουσιάζονται μέσω κάποιων εξαιρετικά κομψών και λακωνικών παραδειγμάτων. Το κεφάλαιο, παρουσιάζει επίσης μια επέκταση της Prolog που επιτρέπει την κωδικοποίηση λογικών πέραν της κατηγορηματικής λογικής πρώτης τάξης, την μεταβλητή κλήση, η οποία εκμεταλλευόμενη την συντακτική ισομορφία των κατηγορημάτων και των σύνθετων όρων, επιτρέπει την δημιουργία κατά την εκτέλεση ερωτημάτων προς απόδειξη καθώς και την κλήση τους. Η μετατροπή του προγράμματος κατά τη διάρκεια της εκτέλεσης είναι το επόμενο αντικείμενο το οποίο πραγματεύεται το κεφάλαιο, η οποία προσφέρει ένα απλό τρόπο μεταβολής του ίδιου του εκτελέσιμου κώδικα. Τέλος, παρουσιάζεται η έννοια των τελεστών στην Prolog καθώς και οι τρόποι ορισμού νέων τελεστών που αποσκοπούν στην ανάπτυξη πιο ευέλικτων προγραμμάτων. 2016-01-15T16:13:14Z 2021-07-09T19:42:00Z 2016-01-15T16:13:14Z 2021-07-09T19:42:00Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/787 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
Σακελλαρίου, Ηλίας
Βασιλειάδης, Νικόλαος
Κεφαλάς, Πέτρος
Σταμάτης, Δημοσθένης
Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
description Τα μετα-λογικά χαρακτηριστικά της γλώσσας αυξάνουν σημαντικά την δυνατότητα ανάπτυξης πρακτικών προγραμμάτων. Στην κατηγορία ανήκουν τα κατηγορήματα συλλογής λύσεων (setof, findall, bagof), τα οποία και παρουσιάζονται μέσω κάποιων εξαιρετικά κομψών και λακωνικών παραδειγμάτων. Το κεφάλαιο, παρουσιάζει επίσης μια επέκταση της 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 Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
title_short Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
title_full Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
title_fullStr Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
title_full_unstemmed Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
title_sort μετα-λογικός προγραμματισμός - κατηγορήματα ανώτερης τάξης
publishDate 2016
url http://localhost:8080/jspui/handle/11419/787
work_keys_str_mv AT sakellariouilias metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT vasileiadisnikolaos metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT kefalaspetros metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT stamatisdimosthenis metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT sakellariouēlias metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT basileiadēsnikolaos metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT kephalaspetros metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
AT stamatēsdēmosthenēs metalogikosprogrammatismoskatēgorēmataanōterēstaxēs
_version_ 1771301311615074304