Adobe PDF
(445.01 kB)
| Title Details: | |
|
Λογικός Προγραμματισμός - Υπολογισμός με Λογική |
|
| Authors: |
Stamatopoulos, Panagiotis |
| Reviewer: |
Rontogiannis, Panagiotis |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING |
| Keywords: |
Logic Programming
Functional Programming Logic Programming Languages Functions Prolog Haskell |
| Description: | |
| Abstract: |
Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής συμπερασμάτων modus ponens, είναι δυνατόν να επιλύονται προβλήματα "υπολογίζοντας" μέσω της λογικής τις απαντήσεις σε ερωτήσεις που υποβάλλονται σε λογικά προγράμματα.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/3588 |
| Bibliographic Reference: | Stamatopoulos, P. (2015). Λογικός Προγραμματισμός - Υπολογισμός με Λογική [Chapter]. In Stamatopoulos, P. 2015. Λογικός και συναρτησιακός προγραμματισμός [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3588 |
| Language: |
Greek |
| Is Part of: |
Λογικός και συναρτησιακός προγραμματισμός |
| Publication Origin: |
Kallipos, Open Academic Editions |