Αναδρομή (Τεχνικές Λογικού Προγραμματισμού)

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

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

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