Σύνταξη Prolog Προγραμμάτων
Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα κα...
Κύριοι συγγραφείς: | , , , , , , , |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/781 |
id |
kallipos-11419-781 |
---|---|
record_format |
dspace |
spelling |
kallipos-11419-7812021-07-11T22:23:33Z Σύνταξη Prolog Προγραμμάτων Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog. 2016-01-15T16:13:11Z 2021-07-09T19:41:25Z 2016-01-15T16:13:11Z 2021-07-09T19:41:25Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/781 el 1 application/pdf |
institution |
Kallipos |
collection |
DSpace |
language |
Greek |
topic |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning |
spellingShingle |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης Σύνταξη Prolog Προγραμμάτων |
description |
Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog. |
format |
7 |
author |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης |
author_facet |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης |
author_sort |
Sakellariou, Ilias |
title |
Σύνταξη Prolog Προγραμμάτων |
title_short |
Σύνταξη Prolog Προγραμμάτων |
title_full |
Σύνταξη Prolog Προγραμμάτων |
title_fullStr |
Σύνταξη Prolog Προγραμμάτων |
title_full_unstemmed |
Σύνταξη Prolog Προγραμμάτων |
title_sort |
σύνταξη prolog προγραμμάτων |
publishDate |
2016 |
url |
http://localhost:8080/jspui/handle/11419/781 |
work_keys_str_mv |
AT sakellariouilias syntaxēprologprogrammatōn AT vasileiadisnikolaos syntaxēprologprogrammatōn AT kefalaspetros syntaxēprologprogrammatōn AT stamatisdimosthenis syntaxēprologprogrammatōn AT sakellariouēlias syntaxēprologprogrammatōn AT basileiadēsnikolaos syntaxēprologprogrammatōn AT kephalaspetros syntaxēprologprogrammatōn AT stamatēsdēmosthenēs syntaxēprologprogrammatōn |
_version_ |
1771301347934601216 |