Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog

Abstract

Το κεφάλαιο παρουσιάζει την πλέον χρησιμοποιούμενη δομή δεδομένων της Prolog, τη λίστα όρων. Τονίζεται ότι οι λίστες είναι σύνθετοι όροι αναδρομικής μορφής που επιτρέπουν την αναπαράσταση άπειρων όρων, με μεγάλη εφαρμογή στον προγραμματισμό. Παρουσιάζεται το πως ο μηχανισμός ενοποίησης εφαρμόζεται σε λίστες, εκμεταλλευόμενος την ειδική σύνταξη που εισήχθηκε για αυτές. Δίνονται παραδείγματα αναδρομικών ορισμών κατηγορημάτων με χρήση λιστών, και τέλος, παρουσιάζονται τα κλασσικά κατηγορήματα διαχείρισης λιστών (member, append, delete, κλπ), και οι υλοποιήσεις τους ως αναδρομικών ορισμών βασισμένων στη λογική.

The chapter presents the most commonly used data structure in Prolog: the list of terms. It emphasizes that lists are recursively structured compound terms that allow the representation of potentially infinite sequences, making them highly applicable in programming. The chapter explains how the unification mechanism applies to lists, taking advantage of their special syntax. Examples of recursive predicate definitions using lists are provided, and finally, classic list-handling predicates—such as member, append, delete, etc.—are introduced, along with their implementations as logic-based recursive definitions.