Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog.

Το κεφάλαιο παρουσιάζει την πλέον χρησιμοποιούμενη δομή δεδομένων της 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/784

id	kallipos-11419-784
record_format	dspace
spelling	kallipos-11419-7842021-07-11T22:12:44Z Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog. Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Το κεφάλαιο παρουσιάζει την πλέον χρησιμοποιούμενη δομή δεδομένων της Prolog, τη λίστα όρων. Τονίζεται ότι οι λίστες είναι σύνθετοι όροι αναδρομικής μορφής που επιτρέπουν την αναπαράσταση άπειρων όρων, με μεγάλη εφαρμογή στον προγραμματισμό. Παρουσιάζεται το πως ο μηχανισμός ενοποίησης εφαρμόζεται σε λίστες, εκμεταλλευόμενος την ειδική σύνταξη που εισήχθηκε για αυτές. Δίνονται παραδείγματα αναδρομικών ορισμών κατηγορημάτων με χρήση λιστών, και τέλος, παρουσιάζονται τα κλασσικά κατηγορήματα διαχείρισης λιστών (member, append, delete, κλπ), και οι υλοποιήσεις τους ως αναδρομικών ορισμών βασισμένων στη λογική. 2016-01-15T16:13:12Z 2021-07-09T19:48:38Z 2016-01-15T16:13:12Z 2021-07-09T19:48:38Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/784 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, τη λίστα όρων. Τονίζεται ότι οι λίστες είναι σύνθετοι όροι αναδρομικής μορφής που επιτρέπουν την αναπαράσταση άπειρων όρων, με μεγάλη εφαρμογή στον προγραμματισμό. Παρουσιάζεται το πως ο μηχανισμός ενοποίησης εφαρμόζεται σε λίστες, εκμεταλλευόμενος την ειδική σύνταξη που εισήχθηκε για αυτές. Δίνονται παραδείγματα αναδρομικών ορισμών κατηγορημάτων με χρήση λιστών, και τέλος, παρουσιάζονται τα κλασσικά κατηγορήματα διαχείρισης λιστών (member, append, delete, κλπ), και οι υλοποιήσεις τους ως αναδρομικών ορισμών βασισμένων στη λογική.
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/784
work_keys_str_mv	AT sakellariouilias apeiroioroisemiametablētēlistestēsprolog AT vasileiadisnikolaos apeiroioroisemiametablētēlistestēsprolog AT kefalaspetros apeiroioroisemiametablētēlistestēsprolog AT stamatisdimosthenis apeiroioroisemiametablētēlistestēsprolog AT sakellariouēlias apeiroioroisemiametablētēlistestēsprolog AT basileiadēsnikolaos apeiroioroisemiametablētēlistestēsprolog AT kephalaspetros apeiroioroisemiametablētēlistestēsprolog AT stamatēsdēmosthenēs apeiroioroisemiametablētēlistestēsprolog
_version_	1771301332982956032

Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog.

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