Adobe PDF
(1.17 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, για την απάντηση ερωτημάτων. Τέλος μέσω παραδειγμάτων εκτέλεσης παρουσιάζεται ο μηχανισμός αποσφαλμάτωσης της Prolog, το "box model" και πως μπορούν να εντοπιστούν μέσω αυτού σφάλματα σε λογικά προγράμματα.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/782 |
| 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/782 |
| Language: |
Greek |
| Consists of: |
1. Εκτέλεση Σύνθετης Ερώτησης 2. Εκτέλεση Ερώτησης στην Prolog 3. Prolog Debugging 4. ΚώδικαςProlog Κεφαλαίου 5 |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |