Αναδρομή

Abstract

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

Recursion is the primary technique for program development in Prolog, as the language's basic syntax does not include traditional looping or conditional branching constructs found in other languages. The chapter begins by presenting the elements of a recursive definition, highlighting—through examples—their expressive power and conciseness. It is emphasized that recursion is a general programming methodology applicable in all languages, and attention is drawn to common mistakes made when developing recursive definitions. Finally, the chapter presents the predicates used for performing arithmetic operations in Prolog, aiming to provide examples of interesting yet relatively simple recursive implementations.