Τεχνικές λογικού προγραμματισμού: Η Γλώσσα Prolog

Τεχνικές λογικού προγραμματισμού: Η Γλώσσα Prolog

Ο Λογικός Προγραμματισμός (ΛΠ) ανήκει στις πλέον ενδιαφέρουσες σχολές προγραμματισμού, σημαντικά διαφορετική από τις “κλασικές” σχολές του προστακτικού και του αντικειμενοστραφούς προγραμματισμού. Η χρήση της Μαθηματικής Λογικής ως εργαλείο αφαίρεσης για περιγραφή υπολογισμών και η εκμετάλλευση των αποδεικτικών διαδικασιών της, οδηγούν σε συμπαγή προγράμματα τα οποία βρίσκουν εφαρμογές σε πολύπλοκα και ενδιαφέροντα πεδία, όπως είναι η Τεχνητή Νοημοσύνη και το Σημασιολογίκο Ιστό. Όμως, αυτή η υψηλού επιπέδου προσέγγιση στον προγραμματισμό δημιουργεί προβλήματα σε εκείνους που πρώτη φορά έρχονται σε επαφή με τον ΛΠ , αφενός γιατί απαιτεί να υιοθετήσουν μια δηλωτική προσέγγιση στην ανάπτυξη προγραμμάτων “ξένη” προς αυτή των κυρίαρχων γλωσσών, και αφετέρου, γιατί απαιτείται η εκμάθηση τεχνικών αναπαράστασης και επίλυσης προβλημάτων που αν και είναι γενικά εφαρμόσιμες στον προγραμματισμό, δεν χρησιμοποιούνται συχνά στις υπόλοιπες σχολές, με κλασικό παράδειγμα την αναδρομή…

Συγγραφέας: Ηλίας Σακελλαρίου, Νικόλαος Βασιλειάδης, Πέτρος Κεφαλάς, Δημοσθένης Σταμάτης
Έκδοση ebook: ΣΕΑΒ, ΚΑΛΛΙΠΟΣ (πηγή)
Έτος έκδοσης: 2015
ISBN: 978-960-603-246-2
Μέγεθος: σελ. 327 / 6 Mb
Μορφή: Pdf Online, ePub

Κατηγορία: ΑΚΑΔΗΜΑΙΚΑ ΣΥΓΓΡΑΜΜΑΤΑ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ / ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ, ΒΙΒΛΙΑ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ / ΠΛΗΡΟΦΟΡΙΚΗΣ, ΒΙΒΛΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Tags: EPUB ΒΙΒΛΙΑ, PDF, ΔΗΜΟΣΘΕΝΗΣ ΣΤΑΜΑΤΗΣ, ΗΛΙΑΣ ΣΑΚΕΛΛΑΡΙΟΥ, ΚΑΛΛΙΠΟΣ, ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ, ΝΙΚΟΛΑΟΣ ΒΑΣΙΛΕΙΑΔΗΣ, ΠΕΤΡΟΣ ΚΕΦΑΛΑΣ, ΠΛΗΡΟΦΟΡΙΚΗ, ΣΕΑΒ, ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ