Adobe PDF
(1.11 MB)
| Title Details: | |
|
Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog. |
|
| Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
| Reviewer: |
Tsadiras, Athanasios |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS |
| Keywords: |
Logic Programming
Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning |
| Description: | |
| Abstract: |
Το κεφάλαιο παρουσιάζει την πλέον χρησιμοποιούμενη δομή δεδομένων της Prolog, τη λίστα όρων. Τονίζεται ότι οι λίστες είναι σύνθετοι όροι αναδρομικής μορφής που επιτρέπουν την αναπαράσταση άπειρων όρων, με μεγάλη εφαρμογή στον προγραμματισμό. Παρουσιάζεται το πως ο μηχανισμός ενοποίησης εφαρμόζεται σε λίστες, εκμεταλλευόμενος την ειδική σύνταξη που εισήχθηκε για αυτές. Δίνονται παραδείγματα αναδρομικών ορισμών κατηγορημάτων με χρήση λιστών, και τέλος, παρουσιάζονται τα κλασσικά κατηγορήματα διαχείρισης λιστών (member, append, delete, κλπ), και οι υλοποιήσεις τους ως αναδρομικών ορισμών βασισμένων στη λογική.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/784 |
| Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog. [Chapter]. In Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. 2015. Logic Programming Techniques [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/784 |
| Language: |
Greek |
| Consists of: |
1. Παράδειγμα Εκτέλεσης list_append/3 (append/3) 2. Κώδικας Prolog Κεφαλαίου 7 |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |