Αναδρομή (Τεχνικές Λογικού Προγραμματισμού)
Η αναδρομή αποτελεί την κύρια τεχνική ανάπτυξης προγραμμάτων, καθώς η Prolog δεν περιλαμβάνει στη βασική της σύνταξη εντολές επανάληψης/διακλάδωσης υπό συνθήκη που υπάρχουν σε άλλες γλώσσες. Το κεφάλαιο ξεκινά με την παρουσίαση των στοιχείων ενός αναδρομικού ορισμού, δίνοντας έμφαση, μέσω παραδειγμά...
Κύριοι συγγραφείς: | , , , , , , , |
---|---|
Μορφή: | 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 |