Εξωλογικά Χαρακτηριστικά της Prolog

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

Το κεφάλαιο παρουσιάζει τα λεγόμενα εξωλογικά χαρακτηριστικά της γλώσσας Prolοg τα οποία, αν και ξεφεύγουν της κατηγορηματικής λογικής πρώτης τάξης (εξω-λογικά), είναι απαραίτητα για την ανάπτυξη πρακτικών εφαρμογών. Η παρουσίαση ξεκινά με την υπόθεση του κλειστού κόσμου, η οποία επιτρέπει την υλοποίηση της άρνησης ως αποτυχίας. Παρατίθενται παραδείγματα κατηγορημάτων με την χρήση του not/1, που αποτελεί το κατηγόρημα της άρνησης στην Prolog. Το κεφάλαιο συνεχίζει με το κατηγόρημα της αποκοπής, που μεταβάλλει την συμπεριφορά του μηχανισμού εκτέλεσης. Παρουσιάζονται παραδείγματα προγραμμάτων όπου η χρήση του τελεστή της αποκοπής αλλάζει τη σημασιολογία τους ("κόκκινη" αποκοπή), όπως επίσης και παραδείγματα όπου η αποκοπή χωρίς να αλλάζει την σημασιολογία, βελτιώνει την ταχύτητα εκτέλεσης των προγραμμάτων ("πράσινη" αποκοπή), όπως και ο συνδυασμός αποκοπής και άρνησης. Τέλος, το κεφάλαιο κλείνει με την παρουσίαση των ρευμάτων/αρχείων εισόδου-εξόδου.