DSpace

Title Details
Title: Logic Programming Techniques
Subtitle: Prolog (Computer program language)
Authors:Sakellariou, Ilias
Vasileiadis, Nikolaos
Kefalas, Petros
Stamatis, Dimosthenis
Reviewer: Tsadiras, Athanasios
Schools/Departments: ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ
ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ
UNIVERSITY OF SHEFFIELD
ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε., ΑΛΕΞΑΝΔΡΕΙΟ ΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ
Subject: 
Keywords: 
Logic Programming
Prolog
Logic
Programming Techniques
Symbol Processing
Knowledge Representation And Reasoning
Description
Abstract: 
Ο Λογικός Προγραμματισμός (ΛΠ) ανήκει στις πλέον ενδιαφέρουσες σχολές προγραμματισμού, σημαντικά διαφορετική από τις "κλασικές" σχολές του προστακτικού και του αντικειμενοστραφούς προγραμματισμού. Η χρήση της Μαθηματικής Λογικής ως εργαλείο αφαίρεσης για περιγραφή υπολογισμών και η εκμετάλλευση των αποδεικτικών διαδικασιών της, οδηγούν σε συμπαγή προγράμματα τα οποία βρίσκουν εφαρμογές σε πολύπλοκα και ενδιαφέροντα πεδία, όπως είναι η Τεχνητή Νοημοσύνη και το Σημασιολογίκο Ιστό. Όμως, αυτή η υψηλού επιπέδου προσέγγιση στον προγραμματισμό δημιουργεί προβλήματα σε εκείνους που πρώτη φορά έρχονται σε επαφή με τον ΛΠ , αφενός γιατί απαιτεί να υιοθετήσουν μια δηλωτική προσέγγιση στην ανάπτυξη προγραμμάτων "ξένη" προς αυτή των κυρίαρχων γλωσσών, και αφετέρου, γιατί απαιτείται η εκμάθηση τεχνικών αναπαράστασης και επίλυσης προβλημάτων που αν και είναι γενικά εφαρμόσιμες στον προγραμματισμό, δεν χρησιμοποιούνται συχνά στις υπόλοιπες σχολές, με κλασικό παράδειγμα την αναδρομή.
Το παρόν βιβλίο φιλοδοξεί να καλύψει τις παραπάνω απαιτήσεις και να αποτελέσει το βασικό σύγγραμμα για οποιονδήποτε επιθυμεί να εντρυφήσει στην τέχνη και στις τεχνικές του ΛΠ. Έχοντας ως όχημα τον κυριότερο εκπρόσωπο της σχολής ΛΠ, τη γλώσσα Prolog, το βιβλίο έχει στόχο: (α) να αναφέρει σύντομα τα θεωρητικά θεμέλια του ΛΠ, δηλαδή την Κατηγορηματική Λογική Πρώτης Τάξης και την αρχή της ανάλυσης, (β) να παρουσιάσει σε βάθος την γλώσσα προγραμματισμού Prolog, τα διαθέσιμα κατηγορήματα και πως αυτά εντασσόμενα σε τεχνικές ΛΠ προγραμματισμού αποτελούν ισχυρά εργαλεία για την επίλυση προβλημάτων, (γ) να παρουσιάσει εφαρμογές όπως είναι η ανάπτυξη ευφυών συστημάτων στις οποίες ο Λογικός Προγραμματισμός προσφέρει σημαντικά πλεονεκτήματα, και τέλος, (δ) να αναπτύξει προγραμματιστικές δεξιότητες του αναγνώστη, όπως είναι η αναδρομή και η ιεραρχική ανάπτυξη προγραμμάτων, εφαρμόσιμες σε όλες τις σχολές προγραμματισμού.
Creation Date: 2015
Item Details
Item Type: Book
URI: http://hdl.handle.net/11419/777
ISBN: 978-960-603-246-2
Eudoxus ID: 320042
Bibliographic Citation:Sakellariou, I., Vasileiadis, N., Kefalas, P., Stamatis, D., 2015. Logic Programming Techniques. [ebook] Athens:Hellenic Academic Libraries Link. Available Online at: http://hdl.handle.net/11419/777
Language: Greek
Consists of: 1. Εισαγωγή – Ιστορικά στοιχεία – Σχέση Λογικού Προγραμματισμού με την Τεχνητή Νοημοσύνη
2. Δηλωτικός Προγραμματισμός
3. Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα
4. Σύνταξη Prolog Προγραμμάτων
5. Σημασιολογία Prolog Προγραμμάτων
6. Recursion
7. Άπειροι Όροι σε μια μεταβλητή: Λίστες της Prolog.
8. Ευφυείς Τεχνικές Λογικού Προγραμματισμού
9. Εξωλογικά Χαρακτηριστικά της Prolog
10. Μετα-Λογικός Προγραμματισμός - Κατηγορήματα ανώτερης τάξης
11. Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων
12. Λογικός Προγραμματισμός με περιορισμούς
13. Επεξεργασία Φυσικής Γλώσσας και Γραμματικές Οριστικών Προτάσεων
License: Attribution - Non-Commercial - Share Alike
Related Courses: 
1. ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΠΛΗΡΟΦΟΡΙΑΣ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ]
2. ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ [ΑΛΕΞΑΝΔΡΕΙΟ ΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
3. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
4. Λογικός Προγραμματισμός [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ]
5. ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΤΕΙ ΑΝΑΤΟΛΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΚΑΙ ΘΡΑΚΗΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
6. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ]
7. ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΩΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
8. Λογικός Προγραμματισμός [ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΗΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
Publication type: Kallipos publications
Appears in Collections:Engineering and Computer Science

Thumbnail

Files in This Item:

Format Size Description
Adobe PDF6,05 MB-DownloadView
Electronic Publication5,14 MB-DownloadView

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Terms of Use HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA