Adobe PDF
(232.9 kB)
| Title Details: | |
|
Recursion |
|
| Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
| Reviewer: |
Tsadiras, Athanasios |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS |
| Keywords: |
Logic Programming
Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning |
| Description: | |
| Abstract: |
Η αναδρομή αποτελεί την κύρια τεχνική ανάπτυξης προγραμμάτων, καθώς η Prolog δεν περιλαμβάνει στη βασική της σύνταξη εντολές επανάληψης/διακλάδωσης υπό συνθήκη που υπάρχουν σε άλλες γλώσσες. Το κεφάλαιο ξεκινά με την παρουσίαση των στοιχείων ενός αναδρομικού ορισμού, δίνοντας έμφαση, μέσω παραδειγμάτων, στην εκφραστική τους δύναμη και στην λακωνικότητα διατύπωσής τους. Τονίζεται ότι η αναδρομή αποτελεί μεθοδολογία προγραμματισμού, εφαρμόσιμη σε όλες τις γλώσσες, δίνοντας έμφαση στα συχνά σφάλματα που γίνονται κατά την ανάπτυξη των αναδρομικών ορισμών. Τέλος, παρουσιάζονται τα κατηγορήματα υπολογισμού αριθμητικών πράξεων σε Prolog, με στόχο να παρατεθούν παραδείγματα υλοποίησης ενδιαφέροντων αλλά σχετικά απλών αναδρομικών ορισμών.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/783 |
| Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Recursion [Chapter]. In Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. 2015. Logic Programming Techniques [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/783 |
| Language: |
Greek |
| Consists of: |
1. Ανάπτυξη του factorial/2 2. Ανάπτυξη του divides/2 3. Κώδικας Prolog Κεφαλαίου 6 |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |