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

Abstract

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

The chapter presents the so-called extra-logical features of the Prolog language which, although they fall outside of first-order predicate logic (extra-logical), are essential for the development of practical applications. The presentation begins with the closed-world assumption, which allows the implementation of negation as failure. Examples of predicates using not/1, the negation predicate in Prolog, are provided. The chapter continues with the cut predicate, which modifies the behavior of the execution mechanism. Examples of programs are shown where the use of the cut operator changes their semantics (“red” cut), as well as examples where the cut, without changing semantics, improves execution speed (“green” cut), along with the combination of cut and negation. Finally, the chapter concludes with the presentation of streams/files for input-output operations.