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

• Main Authors: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΛΟΓΙΚΗ; ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ; ΠΡΟΛΟΓ; ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Logic Programming; Prolog; Logic; Programming Techniques; Symbol Processing; Knowledge Representation And Reasoning

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