Adobe PDF
(771.67 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: |
Στο κεφάλαιο αυτό γίνεται εκτενής παρουσίαση μίας επέκτασης του λογικού προγραμματισμού, η οποία παρέχεται από τα περισσότερα συστήματα Prolog, της χρήσης περιορισμών στη διατύπωση προβλημάτων. Μέσω της επέκτασης αυτής, είναι δυνατόν να επιλύονται με περισσότερο αποδοτικό τρόπο, χωρίς βλάβη της δηλωτικής διατύπωσης, προβλήματα συνδυαστικής αναζήτησης, με ή χωρίς βελτιστοποίηση.
|
| Linguistic Editors: |
Xifara, Foteini |
| Technical Editors: |
Papavasileiou, Spyridon |
| Graphic Editors: |
Papavasileiou, Spyridon |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/3592 |
| Bibliographic Reference: | Stamatopoulos, P. (2015). Λογικός Προγραμματισμός με Περιορισμούς [Chapter]. In Stamatopoulos, P. 2015. Λογικός και συναρτησιακός προγραμματισμός [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3592 |
| Language: |
Greek |
| Is Part of: |
Λογικός και συναρτησιακός προγραμματισμός |
| Publication Origin: |
Kallipos, Open Academic Editions |