Δηλωτικός Προγραμματισμός

Abstract

Το κεφάλαιο ξεκινά με την παρουσίαση της διάσημης πλέον "εξίσωσης" του R.Kowalski που περιγράφει την έννοια του δηλωτικού προγραμματισμού. Εξηγεί πως οι γλώσσες που ανήκουν στην κατηγορία επιτρέπουν στον προγραμματιστή να περιγράφει απλά το προς επίλυση πρόβλημα έτσι ώστε η επίλυσή του να επιτυγχάνεται αυτόματα από τον αντίστοιχο μηχανισμό εκτέλεσης. Η αναπαράσταση του προς επίλυση προβλήματος απαιτείται να μην εμφανίζει αμφισημίες και να μπορεί να έχει μια εκφραστική ικανότητα η οποία επιτρέπει την αποδοτική αποτύπωση όλων των πτυχών του: ένας τέτοιος φορμαλισμός δίνεται από την κατηγορηματική λογική. Το κεφάλαιο παραθέτει απλά παραδείγματα που τονίζουν την παραπάνω προσέγγιση και αποτελούν έναυσμα για την εισαγωγή στην κατηγορηματική λογική που ακολουθεί.

The chapter begins with the presentation of R. Kowalski’s now-famous “equation,” which captures the essence of declarative programming. It explains how languages in this category allow the programmer to simply describe the problem to be solved, so that its solution is automatically carried out by the corresponding execution mechanism. The representation of the problem must be unambiguous and possess sufficient expressive power to effectively capture all its aspects — a requirement fulfilled by first-order logic. The chapter provides simple examples that highlight this approach and serve as a starting point for the introduction to first-order logic that follows.