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