Άπειροι Όροι σε μια μεταβλητή: Λίστες της 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, τη λίστα όρων. Τονίζεται ότι οι λίστες είναι σύνθετοι όροι αναδρομικής μορφής που επιτρέπουν την αναπαράσταση άπειρων όρων, με μεγάλη εφαρμογή στον προγραμματισμό. Παρουσιάζεται το πως ο μηχανισμός ενοποίησης εφαρμόζεται σ...